How to Write and "If and only If" Proof: x^2 is even if and only if x is even