 Solution

The Lie bracket is bilinear, so $\mathrm{ad}x$ is a linear map. Rearranging the Jacobi identity givesThuswhich is the defining Leibniz rule for a derivation of a Lie algebra. In particular $\mathrm{ad}x$ is an inner derivation of a Lie algebra.