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