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

theorem Th3:
  (0.TOP-REAL 2)`1=0 & (0.TOP-REAL 2)`2=0 by EUCLID:52,54;
