盤全体には白マスが 323232 個ある。第 iii 長方形に白マスが aia_iai 個あり、長方形は盤を分割するので a1+⋯+ap=32a_1+\cdots+a_p=32a1+⋯+ap=32。狭義単調性と正性から ai≥ia_i\ge iai≥i であり、32≥1+2+⋯+p=p(p+1)/232\ge1+2+\cdots+p=p(p+1)/232≥1+2+⋯+p=p(p+1)/2 となる。