theorem Th43: :: GROUP_1A:361

for G being BinContinuous TopaddGroup
for a being Element of G holds + a is Homeomorphism of G