theorem
  A is nowhere_dense implies A <> the carrier of X by Th10;
