Eşitsizliğin sağ tarafı burada gösterilmişti. A(DEF)A(ABC)=2abc(a+b)(b+c)(a+c) olduğu da şurada gösterilmişti. Öyleyse A(DEF)A(ABC)=2abc(a+b)(b+c)(a+c)≥3abc4(a3+b3+c3) olduğu yani 8(a3+b3+c3)≥3(a+b)(b+c)(a+c) olduğu gösterilmelidir. Bu son eşitsizlik de şurada kanıtlandı.