theorem Th39: :: SCMFSA10:39

for il being Nat holds SUCC (il,SCM+FSA) = {il,(il + 1)}