P
Initializing...
Theorem 5.3.2 — recurrence is contagious · Prove2Me