theorem :: FUZZY_8:10

for c being Real
for f, g being Function of REAL,REAL st f is continuous & g is continuous & f . c = g . c holds
(f | ].-infty,c.]) +* (g | [.c,+infty.[) is continuous Function of REAL,REAL