g رو یک چندجمله ای در نظر بگیرید با این شرایط:
1) دقیقا m ریشه داشته باشد که مشتقش در آن نقاط صفر نیست.
2) دقیقا n ریشه داشته باشد که مشتقش در آن نقاط صفر است.
مثلا اگر x_i ها و y_i ها حقیقی و متمایز باشند، چندجمله ای روبرو دارای این شرایط است:
حالا تابع f رو به صورت زیر تعریف می کنیم:
که شرایط مسئله رو داره.