theorem Th28: :: SCMFSA_2:35

for ins being Instruction of SCM+FSA st InsCode ins = 6 holds
ex lb being Nat st ins = goto lb