assume IC SCM+FSA in Int-Locations ; :: thesis: contradiction
then IC SCM+FSA is Int-Location by SCMFSA_2:11;
then ObjectKind (IC SCM+FSA) = INT by SCMFSA_2:26;
hence contradiction by COMPOS_1:def 6, NUMBERS:27; :: thesis: verum