This is a simple summation formula: _k1ⁿk n(n1)2 It may be proved easily using mathematical inductionMathematical induction is part of deductive, not inductive, logic