Devirli olsun diyelim a/b ile. Simdi a/b'in uretecegi elemanlar ka/b seklinde (k tam sayi). p sayisi asal olsun ve p⧸|b olsun. O zaman 1/p∉(a/b).
Sonlu sayi icin de hepsinin paydasini bolmeyen bir asal olacak, ayni mantik.
Not: ebob(a,b)=1 ile baslamakta fayda var..