הוכחה נוספת
(הוכחה בכיוון השני - קיימים PQ מספרים טבעיים הקטנים/שווים לpq, ובדיוק p+q-1 מהם לא זרים לpq) נתבונן בPQ המספרים הטבעיים הראשונים. איזה מהם
אינו זר לPQ? מספר אשר p או q מחלקים אותו. (לפי המשפט היסודי של האריתמטיקה למשל. (לכל מספר קיים פירוק יחיד למכפלת מספרים ראשוניים)) ואיזה מספרים מתחלקים בp וקטנים מpq?
p, 2p, ..., qp
ואיזה מספרים מתחלקים בq וקטנים מpq?
q, 2q, ..., qp
סה"כ, מדובר בp+q-1 מספרים
שאינם זרים לpq. (המינוס נובע מכך שספרתי את pq פעמיים - ככפולה של p וככפולה של q) לכן, מספר המספרים הזרים לpq הוא -
pq - p - q + 1 = (q-1)(p-1)
כרצוי.