Wick's theorem

Decomposition of time-ordered products of free fields into normal-ordered products plus sums over all possible pairwise contractions (Feynman propagators).