P
Initializing...
A four-variable cubic sum bound at fixed quadratic norm · Prove2Me