Hence, by Theorem 5.1.1, f is increasing on the left-side of x0. Similarly, f is decreasing on the right-side of x0. Therefore, by the continuity of f at x0, we see that f(x0) > f(x) for all x sufficiently close to and different from x0.
ดังนั้น โดยทฤษฎีบท 5.1.1, f จะเพิ่มด้านซ้าย 0 x ในทำนองเดียวกัน f ลดลงทางด้านขวาของ x 0. โดยความต่อเนื่องของ f ที่ x 0 ดังนั้นเราที่ f(x0) > f(x) สำหรับทั้งหมด x พอใกล้ถึง และแตกต่างจาก x 0
ดังนั้น โดยทฤษฎีบท 5.1.1 , F เพิ่มขึ้นบนด้านซ้ายของ x0 . ในทำนองเดียวกัน , F ลดลงบนด้านขวาของ x0 . ดังนั้นโดยความต่อเนื่องของ f ที่ x0 เราเห็นได้ว่า f ( x0 ) > f ( x ) X พอใกล้ และแตกต่างจาก x0 .