Source: wikibot/pyrrho-s-lemma

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