Let R be the relation on Z defined by aRb if a² - b² is divisible by 4.
Prove that R is an equivalence relation on Z.