We will send it to your email.
Of proposition.
A proposition deducible from basic postulates.
This concept's ID is @1~35965
A theorem giving the expansion of a binomial raised to a given power.