تعريف ميكنيم : p = x+y+z و q = xy+yz+zx . اگه طرفين نامساويو به توان 2 برسونيم تبديل ميشه به : 3q[SUP]2[/SUP] <= p[SUP]4[/SUP]-2p[SUP]2[/SUP]q اما داريم :
p[SUP]2[/SUP]>=3q و p[SUP]2[/SUP]-2q>=q كه با ضرب اين دو تا نامساوي ثابت ميشه و حالت تساوي هم فقط وقتيه كه x=y=z.
