
\begin{displaymath}a_t+t \equiv df(t)+t \equiv \pi_f(t) \bmod n\end{displaymath}
