赤外評価（原論文 Theorem 2.11）

定理 7.2（「Brydges–Fröhlich–Seiler (1979) 第 1 部」§7）・ ✓公理まで証明済み

この定理は有料章（研究水準・買い切り ¥200）の中にあります。主張と証明は記事の該当箇所で読めます（料金）。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 11 件、定義なども含めて 11 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

ボンドの配位についての最大値の議論✓補題 4.6・Brydges–Fröhlich–Seiler (1979) 第 1 部
プラケットの分解（原論文 (2.57)–(2.59)）✓補題 6.2・Brydges–Fröhlich–Seiler (1979) 第 1 部
反射面での作用の分解（原論文 (2.45)–(2.48)）✓補題 5.4・Brydges–Fröhlich–Seiler (1979) 第 1 部
- ホッピング行列の条件の分類✓補題 5.2・Brydges–Fröhlich–Seiler (1979) 第 1 部
  - γ₀ 共役で不変な行列✓補題 6.9・Osterwalder–Seiler (1978) 第 1 部
- 乗法的錐の恒等式✓補題 4.2・Brydges–Fröhlich–Seiler (1979) 第 1 部
基本の Schwarz 不等式（原論文 (2.49)–(2.52)）✓補題 5.5・Brydges–Fröhlich–Seiler (1979) 第 1 部
- 反射面での作用の分解（原論文 (2.45)–(2.48)）✓補題 5.4・Brydges–Fröhlich–Seiler (1979) 第 1 部（上で展開済み）
- 乗法的錐の恒等式✓補題 4.2・Brydges–Fröhlich–Seiler (1979) 第 1 部
- 自由期待値の分解✓補題 4.1・Brydges–Fröhlich–Seiler (1979) 第 1 部
  - θ の性質✓補題 3.6・Brydges–Fröhlich–Seiler (1979) 第 1 部
    Θ の性質✓補題 6.2・Osterwalder–Seiler (1978) 第 1 部この先をたどる →
    Grassmann 代数の基本事実✓補題 4.1・Osterwalder–Seiler (1978) 第 1 部
乗法的錐の恒等式✓補題 4.2・Brydges–Fröhlich–Seiler (1979) 第 1 部

証明で明示的に参照している定理は、まだありません。