İfademize $\mathfrak{S}$ diyelim. Hölder Eşitsizliğinden $\mathfrak{S}^2.(a^2+b^2+c^2+ab+bc+ca) \ge (a+b+c)^3$ olur. $(a+b+c)^3 > a^2+b^2+c^2+ab+bc+ca=(a+b+c)^2-(a+b+c) \rightarrow (a+b+c)^3+(a+b+c) \ge (a+b+c)^2$ ise ispat biter, ki $A.G.O$ dan $(a+b+c)^3+(a+b+c) \ge 2(a+b+c)^2$ biliyoruz. İspat biter.