theorem Th18X: :: FUZZY_6:23

for A being non empty closed_interval Subset of REAL
for c being Real
for f, g being Function of REAL,REAL st f | A is bounded & g | A is bounded holds
((f | ].-infty,c.[) +* (g | [.c,+infty.[)) | A is bounded