theorem Th45: :: GROUP_1A:363

for G being BinContinuous TopaddGroup
for F being closed Subset of G
for a being Element of G holds F + a is closed