theorem Th38: :: CARD_1:39

for n being Nat holds
( n is finite & card n is finite )