P

Initializing...

Theorem 3.1 — either $\alpha = m/2$, or the distance to the cone point is constant · Prove2Me