theorem Th3: :: SCMFSA8A:10

for P being good preProgram of SCM+FSA
for n being Element of NAT holds Reloc (P,n) is good