Verify that the function \[u = e^{-\alpha^2 k^2 t} \sin(kx)\] is a solution of the heat conduction equation \[u_t = \alpha^2 u_{xx}.\]