theorem Th3: :: UNIFORM3:8

for G being addGroup
for A, B, C, D being Subset of G st A c= B & C c= D holds
A + C c= B + D