Pascal's identity (source code)

= Pascal's identity
{c}
{wiki=Pascal's_rule}

Pascal's identity is
$$
\binom nk=\binom{n-1}k+\binom{n-1}{k-1}.
$$