theorem Th19: :: FUZZY_6:18

for s being Real
for f, g being Function of REAL,REAL holds (f | ].-infty,s.[) +* (g | [.s,+infty.[) is Function of REAL,REAL