Dalam Algoritma Hromkovič untuk Masalah Sulit (edisi ke-2) ada teorema ini (2.3.3.3, halaman 117):
Ada masalah keputusan (decidable) sehingga untuk setiap algoritma A yang memecahkan P ada algoritma lain A ′ yang juga memecahkandan juga memenuhi
adalah runtime terburuk dari masukan ukuran dan berarti "untuk semua tapi finitely banyak".
Bukti tidak diberikan dan kami tidak tahu bagaimana cara melakukannya; sebenarnya cukup kontra-intuitif. Bagaimana teorema itu dapat dibuktikan?