P
Initializing...
A cubic symmetric bound at squared norm three · Prove2Me