Este crecimiento desmesurado se puede utilizar para demostrar que la función computable "f"("n") = "A"("n", "n") crece más rápido que cualquier función recursiva primitiva, y por ello no es recursiva primitiva.