a_k sayısı  olarak tanımlansın. Böylece   ,   olur.

Çekmece prensibine göre, bazı n > m sayıları için r_n = r_m dir. Böylelikle, a_n – a_m , p sayısına bölünebilir.

a_n – a_m sayısının  olduğu görülür. 10^m  p  sayısına bölünemeyeceğinden, p sayısı   sayısını böler.