Notes on Wick's theorem in many-body theory

In this pedagogical note I present the operator form of Wick’s theorem, i.e. a procedure to bring a product of 1-particle creation and destruction operators to normal order, with respect to some reference many-body state. Both the static and the time-ordered cases are presented. For the latter, in particular, I provide a simple proof.