theorem Th104: :: GROUP_1A:150

for x being object
for G being addGroup
for a being Element of G
for H being Subgroup of G holds
( x in H + a iff ex g being Element of G st
( x = g + a & g in H ) )