P
Initializing...
A squared-difference bound under a mixed sum relation · Prove2Me