A relation `\rho` is defined on the set of all natural numbers `\mathbb{N}` by : `(x,y) \in \rho => (x-y)` is divisible by 5 `AA x,y \in \mathbb{N}`. Prove that `\rho` is an equivalence relation on `\mathbb{N}`