四色定理
すべての単純平面グラフ について が成り立ちます。同値に、定義 2.1 の意味のどんな地図も 4 色で塗り分けられます。
閉包の状態
※ 主張のみ
この分野（情報科学・コラム）は閉包の検査の対象外で、証明を載せていない定理です。理由と出典は 本文の注意 にあります。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理
証明で明示的に参照している定理は、まだありません。