Jabarkan Teorema Novikov – Boone dari Presentasi grup

Solusi negatif untuk masalah kata untuk grup menyatakan bahwa ada presentasi yang terbatas    di mana tidak ada algoritma yang, diberikan dua kata  u ,  v , memutuskan apakah  u  dan  v  mendeskripsikan elemen yang sama dalam grup. Hal ini ditunjukkan oleh Pyotr Novikov pada tahun 1955 dan bukti yang berbeda diperoleh oleh William Boone pada tahun 1958.