P
Initializing...
Theorem 5.3.1 — recurrence is divergence of the return series · Prove2Me