'''<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. עדי