Yes thats right. When proving statements you will almost always want to break the proof down into the forward and backward directions. Keep in mind that sometimes when you are proving the backward or forward direction that the obvious way to proceed might be impossible but the contrapositive may be easy to prove. That is, suppose you are trying to prove then this is equivalent to which is equivalent to which is equivalent to which is equivalent to