theorem Th29:
  for f being Homeomorphism of T holds f/" is Homeomorphism of T
proof
  let f be Homeomorphism of T;
  thus f/" is being_homeomorphism;
end;
