$x^3<x^3+y^3=x-y<x$ den $0<x<1$ olduğu elde edilir.
Aritmetik-Geometrik Ortalama Eşitsizliğinden $x^2=\sqrt{x\cdot x^3}\leq\frac{x+x^3}2$ ve
$y^2=\sqrt{y\cdot y^3}\leq\frac{y+y^3}2$ olur. Toplarsak:
$x^2+y^2\leq\frac{x+x^3+y+y^3}2=\frac{x+y+x-y}2=x<1$ elde edilir.