theorem Th37: :: CARD_LAR:37

for A being non empty Ordinal holds not Rank A is empty