'''נכון מאוד, רק שים לב לתיקון המודגש למחלקות: 3,1 ולא 1,2 וכמו כן האיבר 1 הוא בוודאי במחלקה של עצמו. כמו כן, צריך להוכיח שאכן לכל טבעי הטבעי בריבוע לא יכול להיות במחלקה של 2.
'''<math>\forall \ n\in N\ \ n=0mod3\ or\ \ 1mod3\ or\ \ 2mod3</math>
'''<math>if\ \ n=0mod3,\ \ then\ \ n=3k\ =>\ \ n^2=9k^2=0mod3</math>
'''<math>if\ \ n=1mod3,\ \ then\ \ n=3k+1\ \ =>\ \ n^2=9k^2+6k+1=1mod3</math>
'''<math>if\ \ n=2mod3,\ \ then\ \ n=3k+2\ =>\ \ n^2=9k^2+12k+4=n^2=9k^2+12k+3+1=1mod3</math>
'''ולכן כל הטבעיים בריבוע מתחלקים לשתי מחלקות שקילות:1 ו-3, וגודל קבוצת המנה הוא 2. עדי