Solution to Exercise PD.T33: removed unnecessary "to" (Jenna)

Changed "If we instead to choose to prove" to "If we instead choose to prove". Line 479.