theorem Th23: :: SCMFSA_X:25

for I being really-closed MacroInstruction of SCM+FSA holds I ';' (goto 0) is really-closed