P
Initializing...
Circle case gives a linear deficiency bound · Prove2Me