Prove the sum of odd numbers by induction · Proofwise