Let a sequence be defined by $x_0 = 2$, $x_1 = 3$, and $x_{n+1} = 3x_n - 2x_{n-1}$ for $n \ge 1$. For which of the following relations between $m$ and $n$ is $x_n$ guaranteed to divide $x_m$?