כמעט כל (מתמטיקה) – הבדלי גרסאות

כעת אפשר להוכיח את המשפט בקלות: יהי n מספר גדול מאוד (קיומו של מספר כזה מובטח מן התכונה הראשונה). כל המספרים הגדולים מ- n הם גדולים מאוד (על-פי התכונה השנייה), ולכן יש כל היותר n-1 מספרים שאינם גדולים מאד, ומספרם סופי.