What a Proof Is · Hard problem

$n = ab$ for some integers $a$ and $b$

$n$ has a divisor other than $1$

$n$ is even

$n = ab$ for some integers $a, b$ with $1 < a < n$ and $1 < b < n$