Gödel numbering
One may use Gödel numbering to show how functions defined by course-of-values recursion are in fact primitive recursive functions.