T (f)= numerator (f (S)). In certain cases, the polynomials f, T (f), T (T (f))... are all irreducible …