x ile y nin en büyük ortak bölenini (x,y) ile gösterelim. n keyfi bir tam sayı olmak üzere (x,y) = (x,y - x) = (x,y - nx) eşitliklerini biliyoruz. (Euclid algoritması olarak bilinir) Soruya dönersek
ardışık terimler 6k + 1 ve 6k + 7 şeklindedir. (6k + 1, 6k + 7) = (6k + 1, 6k + 7 - (6k + 1)) = (6k + 1, 6) = 1 bulunur. Yani 6k + 1 ve 6k + 7 aralarında asaldır.