fof(f20,conjecture, p(a) & ![X]: ( p(X) => p(f(X)) ) => p(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(a))))))))))))))))))))) ).