sorry i forgot i had one more question.
if a,b are elements of the integers and ab is odd, then a and b are both odd.
assume for sake of contradiction a and b are not both odd when the hypothesis is satisfied. so a could be even and b odd. an even number times an odd is even so ab is even. ab cannot be even and odd so there cannot be a counterexmple