24 divides Square of Odd Integer Not Divisible by 3 plus 23/Proof 2

Proof
Let $a$ be as defined.

We have that $a$ is of the form:
 * $a = 6 k + 1$

or:
 * $a = 6 k + 5$

Hence:

or: