theorem Th6: :: CARD_1:7

for X being set
for M being Cardinal st X c= M holds
card X c= M