Función primitiva recursiva