P
Initializing...
A product of squared norms bounds the Vandermonde square · Prove2Me