theorem :: SCMRING2:21

for R being Ring holds halt (SCM R) = [0,{},{}] ;