theorem Th14: :: CARD_5:14

for M being Cardinal holds M in exp (2,M)