assume the Instruction-Counter of SCM in NAT ; :: according to AMI_1:def 21 :: thesis: contradiction
hence contradiction by Th4; :: thesis: verum