reserve T,T1,T2,S for non empty TopSpace;

theorem Th5:
  (1.REAL 2)`1=1 & (1.REAL 2)`2=1 by Th4,EUCLID:52;
