
theorem Th1:
  for X, Y being set st card X c= card Y & Y is countable holds X is countable
proof
  let X, Y be set such that
A1: card X c= card Y;
  assume card Y c= omega;
  hence card X c= omega by A1;
end;
