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