MATH: It's a statement that can be proved; there are binomial & exponential ones