theorem :: FUZZY_9:33

for a, b, c being Real
for f, g being Function of ['a,c'],REAL st a <= b & b <= c & f | ['a,c'] is bounded & g | ['a,c'] is bounded holds
((f | [.a,b.]) +* (g | [.b,c.])) | ['a,c'] is bounded