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