四数を a1<a2<a3<a4 の順に並べる。a2>a1 と a4>a3 から 2(a2+a4)>sA が、a3>a1 と a4>a2 から 2(a3+a4)>sA が従い、a2+a4、a3+a4 はともに sA より小さいことも明らかである。sA/2 と sA の間にある数は sA を割り切れないので、この二つの和はどちらも sA を割らず、sA を割りうるのは四つの和 a1+a2, a1+a3, a1+a4, a2+a3 のみとなる。よって nA≤4。