theorem Th27: :: GROUP_1A:73

for x being object
for G being non empty addMagma
for A being Subset of G
for g being Element of G holds
( x in g + A iff ex h being Element of G st
( x = g + h & h in A ) )