We consider the mapping
that 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 that arbitrary iterations of the mapping do never reach the zero tuple.