the carrier of (SCM R) = SCM-Memory by Def1;
then reconsider x = the Element of SCM-Data-Loc as Object of (SCM R) ;
take x ; :: thesis: x is Int-like
thus x is Int-like ; :: thesis: verum