theorem Th14: :: BORSUK_3:14

for S, T being non empty TopSpace st S,T are_homeomorphic & S is compact holds
T is compact