theorem Th44: :: GROUP_1A:362

for G being UnContinuous TopaddGroup holds add_inverse G is Homeomorphism of G