若存在至多一名 555 题解答者的反例,给其他人补加做出的题,直到第一名有 555 题、其余人都有 444 题,只会增加每个题对的解答人数,因此反例仍然成立且结构完全固定。
反证假设至多有一名参赛者做出 555 题。给参赛者补加做出的题只会增加各题对的解答人数而不破坏任何条件,故不妨设有一名参赛者做出第 1,2,3,4,51,2,3,4,51,2,3,4,5 题(未做出第 666 题),其余每名参赛者都做出 444 题。在其余 n−1n-1n−1 人中,设 aia_iai(1≤i≤51\le i\le51≤i≤5)为未做出第 666 题与第 iii 题的人数,bijb_{ij}bij(1≤i<j≤51\le i<j\le51≤i<j≤5)为做出第 666 题但未做出第 i,ji,ji,j 题的人数;则 n=1+∑i=15ai+∑1≤i<j≤5bijn=1+\sum_{i=1}^5 a_i+\sum_{1\le i<j\le5}b_{ij}n=1+∑i=15ai+∑1≤i<j≤5bij。