Fixed point theorem: for every total funcition $T$, there esists a (source) function $r$ such that the (source) function $T(r)$ computes the same values of the (source) function $r$.

In other words, given a total function $T$ one has that:

$$U(r, x) = U(T(r), x)$$

for every $x$.