The Proof is of the Form P \Leftrightarrow ... \Leftrightarrow Q thus the proof shows that P \Leftrightarrow Q which means that both P \Rightarrow Q and Q \Rightarrow P are true and thus I don't see why you would have to work it the other way.