theorem Th1: :: SCMFSA_2:1

IC = NAT by SCMFSA_1:5, SUBSET_1:def 8;