Let r be a relation on the set of all integers such that arb if and only if a b is even. Is r transitive? If yes, prove it; if no, give a counterexample.