P
Initializing...
Finite affine maximum · Prove2Me