theorem Th55: :: GROUP_1A:373

for G being UnContinuous TopaddGroup
for A being dense Subset of G holds - A is dense