בגלל שעדיף לא לציין מה שיש בו טעות אלה רק מה שנכון
:חשבתי שאולי תנסו למצוא טעות (ואולי נובע מכך שלכל תת-שדה של R כל הראשוניים שייכים לתת-שדה). בכל מקרה, רוב מה שכתבתי ישמש אותנו גם אם טעיתי. -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 21:20, 27 ביולי 2010 (IDT)
::::מצאתי! קודם מוכיחים <math>\forall x\in \mathbb{F}, a+b\sqrt p\in \mathbb{F}[\sqrt p]: x(a+b\sqrt p)\in \mathbb{F}[\sqrt p]</math> (זה קל מאוד), מכאן נובע, עבור x,y ב-F: <math>x(a+b\sqrt p)+y(a+b\sqrt p)\sqrt p \in \mathbb{F}[\sqrt p] \Rightarrow (x+y\sqrt p)(a+b\sqrt p)\in \mathbb{F}[\sqrt p]</math>. מש"ל!!!!!! -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 22:07, 27 ביולי 2010 (IDT)