माना कि $f(x)$, अंतराल (interval) $(0, \infty)$ में सांतत्य रूप से अवकलनीय (continuously differentiable) एक इस प्रकार का फलन (function) है कि $f(1)=2$, तथा प्रत्येक $x>0$ के लिए

$$ \lim \limits_{t \rightarrow x} \frac{t^{10} f(x)-x^{10} f(t)}{t^9-x^9}=1 $$

है। तब सभी $x>0$ के लिए, $f(x)$ बराबर है