Show that the relation `\rho = {(x,y) \in \mathbb{Z} \times \mathbb{Z} : 3x+4y \text{ is divisible by } 7}` defined over the set of all integers `\mathbb{Z}`, is an equivalence relation.