theorem Th52: :: GROUP_1A:370

for G being BinContinuous TopaddGroup
for A, O being Subset of G st O is open holds
A + O is open