Legyen $M\left(x\mathrm{,}y\right)$ kétváltozós polinom. Igazoljuk, hogy ha valamely $a>1$-re az $M\left(x\mathrm{,}{a}^x\right)$ függvény azonosan nulla, akkor $M\left(x\mathrm{,}y\right)$ is azonos nulla.