A bizonyítás megtalálható az Erdős Pál - Surányi János: Válogatott fejezetek a számelméletből, Tankönyvkiadó Vállalat, Budapest 1960 című könyvben.