PLUS ("g" "k") 1) "k" que devuelve "k" si el valor de "g"(1) es cero o "g"("k") + 1 en cualquier otro caso.