華格納定理

K₅ (左) 和 K_3,3 (右) 是非平面彼得森圖的圖子式 (彩色小圓圈和黑色邊，刪除紅色頂點，收縮每個黃色圓圈內的邊)。

兩個平面圖以及華格納圖的「clique-sum」，創建無K₅圖。

在圖論中，華格納理論（英語：Wagner's theorem）是平面圖的禁圖表徵，以Klaus Wagner的命名。 該定理說：若且唯若有限圖的子式不包含完全圖K₅ 或完全二分圖K_3,3 時候，那麼該圖就是平面的。

這是圖子式論最早的結果之一，也是羅伯遜–西摩定理（Robertson-Seymour theorem）的先驅。

庫拉托夫斯基定理的關係

華格納1937年發表了證明。 庫拉托夫斯基以前1930年出版了自己庫拉托夫斯基理論。

根據該定理，若且唯若圖的子圖的細分不包含那些禁圖K₅ 和 K_3,3。

華格納定理意味著庫拉托夫斯基，所以是更普遍的。