פיתרון: ראשית נראה מה הטענה בעצם אומרת:
<math>\exists a\in \mathbb{N} \forall b\in \mathbb{N} (a|b \land (a\geq >b \lor a+b\geq a\cdot b))</math>
שימו לב שנעזרו בשקילות <math>\ (A\rightarrow B) \equiv ((\neg A) \lor B)</math> ובחוקי דה-מורגן. כעת נשים לב שאם <math>a|b</math> אז <math>a\leq b</math> ולכן כדי שזה יהיה נכון צריך שיתקיים <math>a+b\geq a\cdot b</math> וזה אכן קורה עבור <math>a=1</math>.