(A=dfrac{x}{x+y+z}+dfrac{y}{y+z+t}+dfrac{z}{z+t+x}+dfrac{t}{t+x+y})
Giả sử: (Ain N) thì
(left{{}egin{matrix}dfrac{x}{x+y+z}in N\dfrac{y}{y+z+t}in N\dfrac{z}{z+t+x}in N\dfrac{t}{x+y+t}in Nend{matrix} ight.) (Leftrightarrowleft{{}egin{matrix}x⋮x+y+z\y⋮y+z+t\z⋮z+t+x\t⋮t+x+yend{matrix} ight.)
Vì (x;y;z;tin Ncircledast) nên
(left{{}egin{matrix}xge x+y+z\yge y+z+t\zge z+t+x\tge t+x+yend{matrix} ight.Leftrightarrowleft{{}egin{matrix}x+yle0\z+tle0\t+xle0\x+yle0end{matrix} ight.)
Điều trên ko thể xảy ra, (A otin N)