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