Source: wikibot/shapiro-s-lemma

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