theorem Th38: :: SF_MASTR:38

for p being preProgram of SCM+FSA
for k being Nat holds UsedI*Loc p = UsedI*Loc (Shift (p,k))