theorem :: SCMFSA8C:70

for i being Instruction of SCM+FSA st not i destroys intloc 0 holds
Macro i is good by Th39;