ここでボゴリューボフ変換の実行が必要となる理由は、平均場近似では系のハミルトニアンは生成・消滅演算子による双線型項の和(有限個のformula_37など)として表されるためである。