បើ f ជាអនុគមន៍ជាប់លើចន្លោះ [a ; b] ហើយមានដេរីវេលើ (a , b) និង f(a) = f(b) នោះមានយ៉ាងតិចចំនុច x 0 = c {\displaystyle x_{0}=c} មួយ ( a < x 0 = c < b ) {\displaystyle (a<x_{0}=c<b)} ដែល f ′ ( c ) = 0 {\displaystyle f'(c)=0} ។
