theorem Th56: :: TOPGRP_1:57

for G being BinContinuous TopGroup
for A being dense Subset of G
for a being Point of G holds a * A is dense