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