just edit your comment to say converse instead of contrapositive. The contrapositive of a statement is logically equivalent to the statement itself.