P
Initializing...
Distinct positive parallel displacements force a quadratic affine-coordinate level bound · Prove2Me