נניח קיימת תת קבוצה של מספרים קטנים מ n סכומה לא מתחלק ב n
ונגיע לסתירהאם הנחנו שאפשר לבנות כזאת תת קבוצה אז נבנה אותה
נשים 1 ועכשיו אסור n-1
נשים 2 ועכשיו אסור n-2
..
.
.
נשים n/2 ועכשיו אסור n/2 - גם אי אפשר.. אבל זה לא מפריע
סה"כ יש לנו קבוצה עם לכל היותר n/2
עכשיו צריך עוד n/2 איברים וכל איבר שנוסיף זה יהיה מהאיברים שאסור לנו..