let A be Ordinal; :: thesis: aleph A is infinite
{} c= A ;
then omega c= aleph A by CARD_1:23, CARD_1:46;
hence aleph A is infinite ; :: thesis: verum