“…Because 2a 1 + a 2 ≥ 17, 10 ≤ a 1 + a 2 ≤ 12 and 5 ≤ a 1 ≤ 9 and max{0, 17 − 2a 1 , 10 − a 1 } ≤ a 2 ≤ min{7, 12 − a 1 } by Facts 5-8. Since (a 1 , a 2 ) = (5, 7), (6,6), (7,5), (8,4), (9, 3) imply 12 i=1 |V i | ̸ = 2n, and (a 1 , a 2 ) = (6, 5), (7,4), (8,3), (9, 1), (9, 2) imply |V 1 | > α = 11, which contradict…”