assume IC in FinSeq-Locations ; :: thesis: contradiction
then IC is FinSeq-Location by SCMFSA_2:5;
then ObjectKind (IC ) = INT * by SCMFSA_2:12;
hence contradiction by MEMSTR_0:def 3, SCMFSA_1:12; :: thesis: verum