reserve x,y for set;

theorem Th2:
  for dl being Data-Location holds dl <> IC SCM
by Th1,AMI_3:13;
