Peki.
2π den büyük hiçbir doğal sayının ( sinüsün periyodunu göz önünde bulundurarak) [0,2π] aralığında bir doğal sayıya denk gelmediğini kanıtlamamız gerek önce. Ama şunu biliyoruz : π ile bir sıfırdan büyük bir doğal sayının çarpımı doğal sayı olamaz.
Dolayısıyla 2π 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π 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π∈[0,2π] sayısı da doğal sayı olamaz.
Demek ki 2π 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.