A number is even if, and only if, the number is divisible by 2.
If the statement is true, which of the following statements must also be true?
A number is even if, and only if, the number is not divisible by 2.
A number is not even if, and only if, the number is not divisible by 2.
A number is not even if, and only if, the number is divisible by 2.
A number is even if, and only if, the number is divisible by 4.
