except sqrt(2) x sqrt(2) is even ( i know we're talking about numbers in Z in this case, and sqrt(2) definitely isn't in Z, but still)

Which made me wonder if the original sentence isn't already assuming something about sqrt(2) and even/odd properties.

(i stopped at the same step as OP wondering if this is as trivial as it seemed)