P
Initializing...
A squared pair-product sum with a constant correction · Prove2Me