assume IC in Int-Locations ; :: thesis: contradiction
then IC is Int-Location by SCMFSA_2:4;
then ObjectKind (IC ) = INT by SCMFSA_2:11;
hence contradiction by MEMSTR_0:def 3, NUMBERS:27; :: thesis: verum