theorem Th15: :: AMI_6:15

for il, k being Nat holds NIC ((SCM-goto k),il) = {k}