Wick's theorem
properNoun
—
A method of reducing high-order derivatives to a combinatorics problem, used extensively in quantum field theory to reduce arbitrary products of creation and annihilation operators to sums of products of pairs of these operators.