Theorem that specifies the expansion of a binomial to any power without requiring the explicit multiplication of the binomial terms.