theorem Th5: :: GROUP_1A:340

for H being non empty addMagma
for P, Q being Subset of H
for h being Element of H st P c= Q holds
P + h c= Q + h