Heisenberg picture
Derivation in the Heisenberg picture.