theorem
  for X,Y being Subset of REAL holds X <> {} & Y <> {} implies X ++ Y <> {};
