P
Initializing...
The Gram quadratic form equals the metric norm square · Prove2Me