Thus, the function f 0 has a local maximum at x0. Hence by Theorem 5.1.3 (and using the assumption that the derivative of f 0 at x0 exists), the derivative of f 0 at x0 is 0, that is, f 00(x0) = 0.
ดังนั้น f ฟังก์ชัน 0 ได้สูงสุดในท้องถิ่นที่ x 0 ดังนั้น โดยทฤษฎีบท 5.1.3 (และใช้สมมติฐานที่ อนุพันธ์ของ f 0 ที่ x 0 อยู่), อนุพันธ์ของ f 0 x 0 คือ 0 คือ f 00(x0) = 0