P
Initializing...
A sum of squared symmetric expressions is at least 147 · Prove2Me