माना f : (a, b) $$\to$$ R एक दो बार अवकलनीय फ़ंक्शन है जिसके लिए $$f(x) = \int_a^x {g(t)dt} $$ एक अवकलनीय फ़ंक्शन g(x) के लिए है। यदि f(x) = 0 का (a, b) में बिल्कुल पाँच विशिष्ट मूल हैं, तो g(x)g'(x) = 0 का कम से कम होता है: