How to prove that there is a function index t so that t³ + t + 1 is an index of the same function?
This is just a special case of Rogers' fixed-point theorem which says that, for any total computable function&nbsp;$f$, there exists&nbsp;$t$ such that $\phi_t = \phi_{f(t)}$.