置换 a,b,ca,b,ca,b,c 只会置换三个表达式，因此可以设 a≤b≤ca\le b\le ca≤b≤c。
交换任意两个变量只会置换集合 {ab−c,bc−a,ca−b}\{ab-c,bc-a,ca-b\}{ab−c,bc−a,ca−b}，所以条件具有对称性。设 a≤b≤ca\le b\le ca≤b≤c，并写成 ab−c=2mab-c=2^mab−c=2m、ac−b=2nac-b=2^nac−b=2n、bc−a=2pbc-a=2^pbc−a=2p。不等式 ab−c≤ac−b≤bc−aab-c\le ac-b\le bc-aab−c≤ac−b≤bc−a 分别由 (a+1)(c−b)≥0(a+1)(c-b)\ge0(a+1)(c−b)≥0 和 (c+1)(b−a)≥0(c+1)(b-a)\ge0(c+1)(b−a)≥0 得到，因此 m≤n≤pm\le n\le pm≤n≤p。