theorem :: CARD_2:25

for K being Cardinal holds exp (K,0) = 1