eq6-3をeq6-2に帰着
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}