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