let l be Int-Location ; :: thesis: ObjectKind l = INT
l in SCM+FSA-Data-Loc by Def4;
hence ObjectKind l = INT by SCMFSA_1:10; :: thesis: verum