
For a more conventional algebraic proof, notice that
The product is always an even number times an odd number: if
is even, then
is odd, but if
is odd, then
. So
is a multiple of 2, and so
is a multiple of 6. Therefore,
is one more than a multiple of 6, proving the theorem.