含有最大元素的两个和被严格夹在 sA 的一半与 sA 之间,因此都不能整除 sA。
将四数排序为 a1<a2<a3<a4a_1<a_2<a_3<a_4a1<a2<a3<a4。由 a2>a1a_2>a_1a2>a1 与 a4>a3a_4>a_3a4>a3 得 2(a2+a4)>sA2(a_2+a_4)>s_A2(a2+a4)>sA,由 a3>a1a_3>a_1a3>a1 与 a4>a2a_4>a_2a4>a2 得 2(a3+a4)>sA2(a_3+a_4)>s_A2(a3+a4)>sA;同时 a2+a4a_2+a_4a2+a4、a3+a4a_3+a_4a3+a4 显然都小于 sAs_AsA。严格介于 sA/2s_A/2sA/2 与 sAs_AsA 之间的数不可能整除 sAs_AsA,故这两个和都不整除 sAs_AsA,能整除 sAs_AsA 的只剩四个和 a1+a2, a1+a3, a1+a4, a2+a3a_1+a_2,\ a_1+a_3,\ a_1+a_4,\ a_2+a_3a1+a2, a1+a3, a1+a4, a2+a3;因此 nA≤4n_A\le4nA≤4。