theorem :: COMPOS_1:45

for S being COM-Struct
for P being preProgram of S holds Reloc (P,0) = P ;