theorem Th22: :: SCMFSA_X:24

for I being really-closed MacroInstruction of SCM+FSA
for n, k being Nat st n < card I & k < card I holds
I +* (n,(goto k)) is really-closed