theorem Th15: :: CARD_4:15

for M being Cardinal st not M is finite holds
M *` M = M