theorem Th25: :: FUZZY_6:20

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