P
Initializing...
Theorem 6.2 — Algorithm 6.1 terminates at a stationary point · Prove2Me