Theorem 2.1.24. Assuming that:

Then f is partial recursive.