theorem Th43: :: CARD_3:43

for A, B being Ordinal st card A in card B holds
A in B