Pertimbangkan rangkaian elektronik yang terdiri dari komponen linier ditambah sejumlah dioda ideal. Maksud "ideal" yang saya maksud adalah mereka bisa menjadi bias-maju (yaitu dan ) atau bias-terbalik (yaitu dan ).i D ≥ 0 v D ≤ 0 i D = 0
Sirkuit ini dapat dihitung dengan mendeklarasikan secara acak setiap dioda baik maju-bias atau mundur-bias, dan pengaturan untuk setiap dioda maju-bias dan untuk setiap dioda bias-balik. Setelah rangkaian linier yang dihasilkan telah dihitung, kita harus memeriksa apakah pada setiap dioda bias maju dan pada setiap dioda bias balik terpenuhi. Jika ya, itu solusi kami. Jika tidak, kita harus mencoba set pilihan lain untuk dioda. Jadi, untuk dioda, kita dapat menghitung sirkuit dengan menghitung paling banyak sirkuit linear (biasanya jauh lebih sedikit).i D = 0 i D ≥ 0 v D ≤ 0 N 2 N
Mengapa ini bekerja? Dengan kata lain, mengapa selalu ada satu pilihan yang mengarah ke solusi yang valid dan (lebih menarik) mengapa tidak pernah ada dua pilihan yang keduanya mengarah ke solusi yang valid?
Seharusnya mungkin untuk membuktikan bahwa pada tingkat kekakuan yang sama dengan yang misalnya teorema Thevenin terbukti dalam buku teks.
Tautan ke bukti dalam literatur juga akan menjadi jawaban yang dapat diterima.