P

Initializing...

Theorem 6:3 — each cg step shortens the error vector, with the exact decrease (6:5) · Prove2Me