Talk:Adian–Rabin theorem