Verify Energy Operator

$$\bgroup\color{black}E^{(op)}{1\over\sqrt{2\pi\hbar}}e^{i(p_0x... ...pi\hbar}}i\hbar {-iE_0\over \hbar}e^{i(p_0x-E_0t)/\hbar}\egroup$$

$$\bgroup\color{black}=E_0 {1\over\sqrt{2\pi\hbar}}e^{i(p_0x-E_0t)/\hbar}\egroup$$