theorem Th28: :: MATGRP_0:19

for R being Ring
for n being Nat
for r being Element of R holds r * (0. (R,n)) = 0. (R,n)