:FXF הינו קבוצה של זוגות סדורים של איברים מF; למשל <math>\mathbb{Z}_2\times\mathbb{Z}_2=\{(0,0),(0,1),(1,0),(1,1)\}</math>. כמו כן, מגדירים על הקבוצה הזו כפל וחיבור כמו שהגדרנו במשפט אשר בדיוק מעל השאלה הזו. בהתחשב בכל ההגדרות הללו, יש לבדוק האם כל תכונות השדה מתקיימות ואם לא. --[[משתמש:ארז שיינר|ארז שיינר]] 12:48, 19 ביולי 2011 (IDT)
אם לכל איבר ששייך לF מתקיים שהוא עצמו בריבע + 1 =0 אז כל האיברים שוים i ?