Sum of the first odd numbers · Proofwise