Source: wikibot/hjelmslev-s-theorem

= Hjelmslev's theorem
{wiki=Hjelmslev's_theorem}