Source: wikibot/trichotomy-theorem

= Trichotomy theorem
{wiki=Trichotomy_theorem}