Kuratowskis sats

Från Wikipedia

Kuratowskis sats är en matematisk sats inom grafteori som säger att en graf G är planär om och endast om det inte existerar någon delgraf av G som är homeomorf med av eller .

Satsen formulerades och bevisades av Kazimierz Kuratowski 1930.