P
Initializing...
A seventh-power sum bound under zero sum · Prove2Me