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.