Refactor theorist to prove convergence theorems
Strengthen divergence prover