P
Initializing...
Generic projections attain bisector energy $2n(n-1)$ · Prove2Me