reconsider x = the Element of SCM+FSA-Data-Loc as Object of SCM+FSA ;
take x ; :: thesis: x is Int-like
thus x is Int-like by AMI_2:def 16; :: thesis: verum