What a Proof Is · Hard problem

The hypothesis $n > 3$ is never used; the result holds for every odd $n$

The hypothesis "$n$ is odd" is never used; the result holds for every integer $n > 3$

Both hypotheses are used; dropping either makes the theorem false

The proof is invalid because $k(k + 1)$ need not be even