Source: https://www.people.vcu.edu/~rhammack/BookOfProof2/Contrapositive.pdf