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