Sadece sunu ispatlarsak ornek olarak cozum biter:
x13+y13≥x7y6+x6y7. Bu turevden ispatlanabilir. Ama o kadar ugrasa gerek yok, bir sinav kagidi doldurulmayacaksa.
x'in buyuk oldugunu varsayarsak (esitlikte zaten direk esitsizlik esitleniyor) (Buyuk∗kucuk+Kucuk∗buyuk)<(Buyuk∗buyuk+Kucuk∗kucuk) olarak dusunursek, zaten dogru.
Sag tarafta 8 terim var, bunlari ikiserli ust mantikta ayirirsak, 4 katsayisi da ordan gelir.