theorem :: SCMRING2:25

for R being Ring holds the carrier of (SCM R) \ {NAT} = SCM-Data-Loc by Lm2;