P
Initializing...
A product of shifted squares at positive sum three · Prove2Me