theorem Th1:
  IC SCM = NAT by AMI_2:22,SUBSET_1:def 8;
