Donaldson の定理（主張のみ）

定理 5.9（「h 同境定理・エキゾチック球面・低次元トポロジーの入口」§5）・ ※主張のみ

単連結な閉じた滑らかな 4 次元多様体の交叉形式が定値ならば、その形式は $\mathbb{Z}$ 上で対角化できる。すなわち $\pm\operatorname{diag}(1,\dots,1)$ に同型である。

閉包の状態

※ 主張のみ

証明を Rikai に書かない定理です（研究最前線の結果や、証明が本 1 冊分になるもの）。主張のみの台帳に理由つきで登録されています。理由と出典は本文の注意にあります。

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

主張のみなので、Rikai の中で証明が使う前提はありません。

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