Right, but I'm trying to prove that in a sort of fashion that I've already shown (long-winded and specifically showing each step, trying not to assume much).
What you're arguing is something like:
Suppose a is even. Then a^2 is even, so both a^2+3 and a^2+7 are odd. Since 32 is even, 32 \nmid...