Triangular Number Multiplication proof?