P
Initializing...
§3, pp. 93–94 — in (3.3) the condition w_n ≥ 0 is automatic for integer w · Prove2Me