Peki.
2\pi den büyük hiçbir doğal sayının ( sinüsün periyodunu göz önünde bulundurarak) [0, 2\pi] aralığında bir doğal sayıya denk gelmediğini kanıtlamamız gerek önce. Ama şunu biliyoruz : \pi ile bir sıfırdan büyük bir doğal sayının çarpımı doğal sayı olamaz.
Dolayısıyla 2\pi ile bir sıfırdan büyük bir doğal sayının çarpımı da doğal sayı olamaz.
Dolayısıyla, 2\pi de büyük bir n doğal sayısı için, k verilen eşitsizliği sağlayan bir pozitif tamsayıyken n - 2k\pi \in [0, 2\pi] sayısı da doğal sayı olamaz.
Demek ki 2\pi den büyük doğal sayılara bakmamıza bile gerek yokmuş. İlk 6 doğal sayıya bakıp yukarıdaki önermenin doğru olduğu kanıtlanabilir.