The contrapositive of a statement of the form "A implies B" is the logically equivalent statement "not-B implies not-A."
Do not confuse the contrapositive with the converse, which is very different and not necessarily true.
Template:Stub