In this problem we work out step$-$by$-$step the procedure for checking an equivalence relation. Denote by Z the set of all integers. Declare that two integers x$,$ y are related if x $+$ y is an integer multiple of $4.$ In symbols: x ~ y