theorem Th49:
  for dl being Int-Location holds dl <> IC SCM+FSA
by AMI_2:def 16,Th1,FINSET_1:15;
