P
Initializing...
Theorem 3.2 (second part) — convergence of order $1+p$ · Prove2Me