theorem Th55: :: CHAIN_1:58

for d being non zero Nat
for G being Grating of d
for C being Chain of d,G holds C ` = C + (Omega G)