Vuonna matematiikan , Cauchyn lauseen , nimetty kunniaksi matemaatikko Augustin Louis Cauchy , on seuraava:
Olkoon G olla äärellinen ryhmä on järjestyksessä n . Tahansa prime jakajan p ja n , on olemassa G: ainakin yhden elementin , jotta s .
McKayn mielenosoitus on yksityiskohtainen Wikikirjassa .