P
Initializing...
Theorems 4:2 and 5:2 — the cg-method reaches the solution $h$ in at most $n$ steps · Prove2Me