theorem Th20: :: COMPOS_1:32

for S being COM-Struct
for k being Nat
for p being NAT -defined the InstructionsF of b₁ -valued finite Function holds dom (Reloc (p,k)) = dom (Shift (p,k))