Add proof of minimizing theta.