मान लीजिए कि f एक परिबद्ध अंतराल I पर अनंत रूप से अवकलनीय वास्तविक मान फलन है। n ≥ 1 अंतर्वेशन बिंदु {x₀, x₁, ....., x_n-1} लीजिए। n अतिरिक्त अंतर्वेशन बिंदु लीजिए

x_n+j = x_j + ε, j = 0, 1, ....., n - 1

जहाँ ε > 0 इस प्रकार है कि {x₀, x₁, ....., x_2n-1} सभी भिन्न हैं।

मान लीजिए कि p_2n-1, फलन f के लिए अंतर्वेशन बिंदुओं {x₀, x₁, ....., x_2n-1} के साथ 2n - 1 घात का लग्रांज अंतर्वेशन बहुपद है।

मान लीजिए कि q_2n-1, फलन f के लिए अंतर्वेशन बिंदुओं {x₀, x₁, ....., x_n-1} के साथ 2n - 1 घात का हर्मिट अंतर्वेशन बहुपद है। ε → 0 सीमा में, राशि