Give a formal proof of the following statement, using the mathematical induction inference rule. Define Σ_(i=1)⁰ x=0.
Aaninn: Σ_(i=1)n 5(i-1)=(5(n)-1)/(5-1)