theorem Th19:
  id T is being_homeomorphism
by RELAT_1:45;
