theorem Th6: :: FIELD_3:5

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