We consider the mapping
which assigns to a four tuple ( a , b , c , d ) {\displaystyle {}(a,b,c,d)} the four tuple
Show that there exists a tuple ( a , b , c , d ) {\displaystyle {}(a,b,c,d)} , for which arbitrary iterations of the mapping do never reach the zero tuple.