Ero sivun ”Eisensteinin lause” versioiden välillä

on formaali potenssisarja, jossa kertoimilla ''a''_''n'' on nollasta poikkeava [[suppenemissäde]] [[kompleksitaso]]ssa, ja että se esittää [[analyyttinen funktio|analyyttistä funktiota]], ja olkoon ''d''_''n'' luvun ''a''_''n'' nimittäjä, jossa murtoluku on loppuun supistetussa muodossa. Tällöin Eisensteinin lauseen mukaan on olemassa rajattuäärellinen joukko ''S'' alkulukuja ''p'' siten, että jokainen luvun ''d''_''n'' nimittäjä sisältyy ''S'':ään.