Source: wikibot/nakayama-s-lemma

= Nakayama's lemma
{wiki=Nakayama's_lemma}