theorem Th30: :: CARD_5:31

for a, b being Aleph st a c= b holds
exp (a,b) = exp (2,b)