A quiet fact behind it

Notice what the proof leaned on: if a²is even then a is even. That's just Theorem 1.2 with p = 2 — the engine that made both a and b turn out even.