چون :
$x^3+y^3-2x^2-2y^2+x+y \geq 0$
(اگه تجزیه بشه به این صورت در میاد $x(x-1)^2+y(y-1)^2$ که بزرگتر مساوی صفره ) با استفاده از فرض میتوان نوشت :
$2(x+y)-2(x^2+y^2) \geq 0$
$x+y \geq x^2+y^2$
طبق نامساوی کوشی داریم:
$(x+y)^2 \leq 2(x^2+y^2) \leq 2(x+y)$
در نتیجه $x+y \leq 2$