assume IC in SCM-Data-Loc ; :: thesis: contradiction
then IC is Int_position by AMI_2:def 16;
then Values (IC ) = INT by SCMPDS_2:5;
hence contradiction by MEMSTR_0:def 6, NUMBERS:7; :: thesis: verum