theorem Th7: :: CARD_1:8

for A being Ordinal holds card A c= A