theorem Th65:
  for A being Subset of X, B being Subset of X0 st A c= B holds B
  is boundary implies A is boundary
by XBOOLE_1:3,Th56;
