Instead of considering subdivisions, Wagner's theorem deals with minors: A finite graph is planar if and only if it does not have K5 or K3,3 as a minor.
I stället för att betrakta subdivisioner behandlar Wagners sats minora av grafer: En ändlig graf är planär om och endast om den inte har K5 eller K3,3 som en minor.