Source: /wikibot/ats-theorem

= ATS theorem
{wiki=ATS_theorem}