theorem Th3: :: C0SP3:3

for X being non empty TopSpace
for S being LinearTopSpace
for f, g being Function of X,S st f is continuous & g is continuous holds
f + g is continuous