References to, includes from, and redirects to Triangular Number Multiplication proof?