A theorem giving the expansion of a binomial raised to a given power.

• 将二项式扩展到规定幂的定理。