theorem Th108: :: GROUP_1A:154

for G being addGroup
for a being Element of G
for H being Subgroup of G holds
( a in a + H & a in H + a )