theorem Th10: :: PSCOMP_1:10

for r3 being Real
for T being TopStruct
for f being RealMap of T st f is continuous holds
r3 + f is continuous