Prove: Any endomorphism of $K[x]$ which is the identity on $K$ is $E_g$ for some $g$ in $K[x]$.
Note: In my book it defines $E_g\colon K[x] \to K[x]$ by sending $x$ to $g$.
This seems like it just follows from definitions but I guess I am just looking for some reassurance in my thought.