theorem Th57: :: GROUP_1A:375

for G being BinContinuous TopaddGroup
for A being dense Subset of G
for a being Point of G holds A + a is dense