simplify change in dr/dt equation.
Completing main theorem.