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