P
Initializing...
A pair-square sum bounds the triple product at total three · Prove2Me