Rozważmy obwód elektroniczny składający się z elementów liniowych oraz szeregu idealnych diod. Przez "idealnego" to znaczy mogą one być dociskane do przodu (to znaczy , a i D ≥ 0 ) lub w tył obciążonego (tzn V D ≤ 0 i I D = 0 ).
Układy te mogą być obliczane przez dowolnie deklarowania Każda dioda albo odchylone do przodu lub do tyłu, dociskane i ustawienie dla każdego wybiegające spolaryzowana dioda i I D = 0 dla każdej diody odwrotnej odchylany. Po obliczeniu wynikowego obwodu liniowego musimy sprawdzić, czy na każdej diodzie z tendencją do przodu i D ≥ 0 i przy każdej diodzie z tendencją do kierunku wstecznego v D ≤ 0 jest spełnione. Jeśli tak, to nasze rozwiązanie. Jeśli nie, musimy wypróbować inny zestaw opcji dla diod. Tak więc, w przypadku diod N , możemy obliczyć obwód, obliczając najwyżej 2 N obwody liniowe (zwykle znacznie mniej).
Dlaczego to działa? Innymi słowy, dlaczego zawsze istnieje jeden wybór, który prowadzi do prawidłowego rozwiązania i (co ciekawsze) dlaczego nigdy nie ma dwóch wyborów, które prowadzą do prawidłowych rozwiązań?
Powinno być możliwe udowodnienie, że na tym samym poziomie rygoru, z jakim np. Twierdzenie Thevenina jest udowodnione w podręcznikach.
Link do dowodu w literaturze byłby również akceptowalną odpowiedzią.