The following uses Sage to symbolically confirm the general formulas for the Binomial distribution.