Four tuple/Modulus of differences/Descent/Exercise

We consider the mapping

that assigns to a four-tuple the four-tuple

Show that for any initial value , after finitely many iterations, this map reaches the zero-tuple.