theorem Th48: :: GROUP_1A:366

for G being BinContinuous TopaddGroup
for O being open Subset of G
for a being Element of G holds O + a is open