Give a formal proof of the following statement, using the mathematical induction inference rule. Define sum_(i=1)⁰ x=0. Aaninn: sum_(i=1)ⁿ 5⁽ᶦ⁻¹⁾=(5ⁿ-1)/(5-1)?