Salah satu metode pembuktian, nang belaku ketika hanya ada sejumlah kasus terbatas nang kawa manuju pada contoh tandingan, dikenal lawan "kekuatan ganal": dalam pendekatan ngini, seberataan kemungkinan kasus dipertimbangkan wan ditunjuk akan gasan tidak memberikan contoh tandingan.