P
Initializing...
The entrance projection denominator is positive and quadratically bounded · Prove2Me