theorem :: SCMRING2:2

for R being Ring holds [0,{},{}] is Instruction of (SCM R)