Λοιπον εχουμε οτι:

οποτε ξεκινώντας απο το πρωτο μελος της προς αποδειξης εξισωσης θα καταληξουμε στο δευτερο... εχουμε:

....ομως ισχυουν τα εξεις λογω της [1]

Οποτε η αρχικη εξισωση γινεται:

....που αν κανουμε ομωνυμα...:
+yz(-y^2-z^2)+xz(-x^2-z^2)}{xyz})
.....και αν κανουμε τις επιμεριστικες:
+yz(-y^2-z^2)+xz(-x^2-z^2)}{xyz}\Rightarrow \frac{-x^3y-xy^3-y^3z-yz^3-x^3z-xz^3}{xyz})
...και βγαζοντας κοινους ανα δυο και σπαζοντας το κλασμα σε επιμερους:
}{xyz}+\frac{-y^3(x+z)}{xyz}+\frac{-z^3(y+x)}{xyz})
.....και χρησιμοποιώντας ξανα τις συνεπειες της [1] και κανοντας τις απαραίτητες απλοποιησεις προκυπτει οτι...:
}{xyz}+\frac{-y^3(-y)}{xyz}+\frac{-z^3(-z)}{xyz}\Rightarrow\frac{x^3}{yz}+\frac{y^3}{xz}+\frac{z^3}{xy} )
Συνοψίζοντας, αν x,y,z μη μηδενικοι αριθμοι που ανηκουν στο R με

τοτε ισχυει και οτι
