let l be Int-Location; :: thesis: Values l = INT
l in SCM-Data-Loc by AMI_2:def 16;
hence Values l = INT by SCMFSA_1:10; :: thesis: verum