from 二項係数の公式 eq6-3をeq6-2に帰着 - $\sum_i \binom{A + i}{i}\binom{B + K - i}{K - i}$ - $= \sum_i \binom{A + i}{A}\binom{B + K - i}{B}$ ... eq4-3 - $= \sum_j \binom{j}{A}\binom{B + K - j + A}{B}$ ... A+i -> j - $= \sum_j \binom{j}{A}\binom{N - j -1}{B}$ ... A+B+K+1 -> N - $= \binom{N}{A + B + 1}$ ... eq6-2 - $= \binom{A+B+K+1}{A + B + 1} = \binom{A+B+K+1}{K}$