P
Initializing...
`2 · tri n = n(n+1)`, as integers. · Prove2Me