theorem
  not IC SCMPDS in SCM-Data-Loc
proof
  assume IC SCMPDS in SCM-Data-Loc;
  then IC SCMPDS is Int_position by AMI_2:def 16;
  then Values IC SCMPDS = INT by SCMPDS_2:5;
  hence contradiction by MEMSTR_0:def 6,NUMBERS:7;
end;
