Sebagai gantinya, kita akan menggunakan suatu bentuk pembuktian dengan kontradiksi yang disebut metode penjahat minimal. Kita akan mengasumsikan bahwa proposisi tersebut tidak benar (seperti ketika memulai pembuktian dengan kontradiksi pada umumnya). Artinya, ada suatu pohon terkecil yang tidak memenuhi proposisi tersebut. Jika contoh penyangkal terkecil ini (yakni, penjahat minimal) memiliki \(v\) simpul, kita memperoleh jaminan bahwa semua pohon dengan \(v-1\) simpul bukan contoh penyangkal. Mari kita lihat bagaimana gagasan ini bekerja.