P
Initializing...
Theorem 6.1 — global convergence of Algorithm INB · Prove2Me