Supposons f strictement croissante et g strictement décroissante
Alors si x1 < x2 vérifient f(x1) = g(x1) et f(x2) = g(x2) on a :
f(x2) > f(x1) par croissance de f
g(x2) < g(x1) par décroissance de f
En particulier f(x2) > g(x2) ce qui est contradictiore