Our goal is to establish these identities. We wish to prove that they hold for all values of \(n\) and \(k\text{.}\) These proofs can be done in many ways. One option would be to give algebraic proofs, using the formula for \({n \choose k}\text{:}\)