theorem Th3:
  aleph A is infinite
proof
  {} c= A;
  then omega c= aleph A by CARD_1:23,46;
  hence thesis;
end;
