Binomial Probability Function Definition Algebra