theorem Th20: :: FUZZY_6:26

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