P
Initializing...
A squared pair-product sum bounds a triple-product term · Prove2Me