if x and y are both odd positive integers