No toda función recursiva es primitiva recursiva.