Source: wikibot/prime-avoidance-lemma

= Prime avoidance lemma
{wiki=Prime_avoidance_lemma}