Began proof of Rotman 5.25