Справді, якщо де і належать множині чисел то, зважаючи на взаємну простоту і отримуємо: , що неможливо. Відповідно, якщо ми перемножимо обидві послідовності, то результати повинні бути еквівалентні за модулем : Після перестановки множників і перепозначення отримуємо: Остаточно, зважаючи, що і взаємно-прості одержуємо твердження теореми: Доведення 3 (комбінаторне)