theorem Th40:
  for X1,X2 being SubSpace of X st X1 is nowhere_dense holds X2 is
  SubSpace of X1 implies X2 is nowhere_dense
by TSEP_1:4,Th39;
