Source: wikibot/mirsky-s-theorem

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