Item 0.2.10.f.

If a number is not even, then it is prime. (Or the contrapositive: if a number is not prime, then it is even.)