Egy $a_1<a_2<\text{...}<a_k$ sorozatra jelölje $t_3\left(a_1\mathrm{,}\text{...}\mathrm{,}{a}_k\right)$ a sorozat elemeiből kiválasztható háromtagú számtani sorozatok számát. Bizonyítandó, hogy $t_3\left(a_1\mathrm{,}\text{...}\mathrm{,}{a}_k\right)\le t_3\left(\mathrm{1,2,}\text{...}\mathrm{,}k\right)$.