theorem Th18E: :: FUZZY_6:35

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