theorem Th108: :: GROUP_2:108

for G being Group
for a being Element of G
for H being Subgroup of G holds
( a in a * H & a in H * a )