Czy ten dowód jest poprawny? masticgum:

	x3+y3
Udowodnij, że jeżeli x,y<0 to		≥ 1
	x2y+xy2

(x+y)(x2−xy+y2)
	≥ 1
xy(x+y)

Skracamy (x+y), gdyż jest ono różne od zera ponieważ jest sumą dwóch wyrażeń ujemnych

(x2−xy+y2)
	≥ 1 /*xy
xy

Znak nierówności nie zmienia się, ponieważ dwie liczby ujemne pomnożone przez siebie dają liczbę dodatnią (x²−xy+y²) ≥ xy x²−2xy+y² ≥ 0 (x−y)² ≥ 0, co jest zawsze prawdą

jc: Dowód poprawny, ale jak dowodzimy od tyłu, to koniecznie trzeba dodać, że kolejne nierówności są równoważne. Przy okazji, można było dowodzić dla dodatnich x, y, a potem stwierdzić, że zmiana znaków x,y nie zmienia lewej strony.