for R being Ring
for n being non zero Nat holds (power R) . ((0. R),n) = 0. R