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