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

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)