Let $a \in \mathbb{K}$. For all $p \in \mathbb{K}[X]$, we set $E_a(p) = E_a p = p(X+a)$. Show that $E_a$ is an automorphism of $\mathbb{K}[X]$.