1<m<n1<m<n1<m<n、t>1t>1t>1 に対する mn>m+nmn>m+nmn>m+n、tn+m−(tm+n)=(t−1)(n−m)>0tn+m-(tm+n)=(t-1)(n-m)>0tn+m−(tm+n)=(t−1)(n−m)>0、(t+m)n−(t+n)m=t(n−m)>0(t+m)n-(t+n)m=t(n-m)>0(t+m)n−(t+n)m=t(n−m)>0 を用いる。x<y<zx<y<zx<y<z に適用すると、表示した2つの増加列を得る。