We consider the mapping
that assigns to a four-tuple ( a , b , c , d ) {\displaystyle {}(a,b,c,d)} the four-tuple
Show that for any initial value ( a , b , c , d ) {\displaystyle {}(a,b,c,d)} , after finitely many iterations, this map reaches the zero-tuple.