theorem Th1: :: C0SP3:1

for X being non empty TopSpace
for S being LinearTopSpace
for f, g being Function of X,S
for x being Point of X st f is_continuous_at x & g is_continuous_at x holds
f + g is_continuous_at x