Another way to prove the expression for the sum of all positive integers up to and including n