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.