theorem Th46: :: GROUP_1A:364

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