Contrapositive and Contradiction · Medium problem

$3^p$ is even, but $7^q$ is odd

$3^p$ is divisible by $3$, but $7^q$ is not

$3^p < 7^q$ for all positive integers $p, q$

$3^p$ can end in the digit $1$, but $7^q$ never does