ブロッホ＝ドミニシスの定理
}
が成り立つ。ここで現れる2点相関関数は縮約(contraction)と呼ばれる。また、(±1)の項はフェルミ粒子での演算子の順番の並べ替えにおいて、隣合う演算子同士を置き換える際に生じる符号の反転を表しており、符号は正がボーズ粒子、負がフェルミ粒子に対応するものとする。以降、本項に現れる複合の符号は全て、上がボーズ粒子、下がフェルミ粒子に対応するものとする。
さらに、nが偶数であるときは、この結果を繰り返し適用することで、
⟨ A 1 A 2 ⋯ A n ⟩ 0 = ∑ P ′ ( ± 1 ) P ⟨ A i 1 A i 2 ⟩ 0 ⟨ A i 3 A i 4 ⟩ 0 ⋯ ⟨ A i n − 1 A i n ⟩ 0 {\displaystyle \langle A_{1}A_{2}\cdots A_{n}\rangle _{0}=\sum _{P}'(\pm 1)^{P}\langle A_{i_{1}}A_{i_{2}}\rangle _{0}\langle A_{i_{3}}A_{i_{4}}\rangle _{0}\cdots \langle A_{i_{n-1}}A_{i_{n}}\rangle _{0}}