Source: wikibot/laver-s-theorem

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