Source: /wikibot/adian-rabin-theorem

= Adian–Rabin theorem
{wiki=Adian–Rabin_theorem}