I don't think what you have follows. If I read it right you assume by way of contradiction that

is odd this implies that

for some

This does not imply that .

Why not look at it this way

Now just look at two cases

what x is even

and what if x is odd

either way notice that no matter what is either or is even and so is there product.