theorem Th50: :: GROUP_1A:368

for G being UnContinuous TopaddGroup
for O being open Subset of G holds - O is open