f′≥0Vamos aI−Q. Fijar cualquierax,y∈I(x<y) y definirg(t)=0 enE1. Luego|g′|=0≤f′ enI−Q. Asíg yf satisfacer el T...f′≥0Vamos aI−Q. Fijar cualquierax,y∈I(x<y) y definirg(t)=0 enE1. Luego|g′|=0≤f′ enI−Q. Asíg yf satisfacer el Teorema 1 (con sus roles invertidos enI, y ciertamente en el subintervalo[x,y]. Así tenemos
