theorem :: CARD_2:26

for K being Cardinal st K <> 0 holds
exp (0,K) = 0 ;