Se puede ver que "P"¹ es la función identidad; se incluye su llamada para conformarse estrictamente al esquema de la recursión primitiva (función "f" del esquema).