:אשונ
האולג תויטרבליה תורובח
:ריצקת
הרעשהה תא ונילעה םייטרבלה תודש לש תוירבגלא תובחרה לע הנושארה האצרהב
$K$ לעמ תיבלא העירי הנה $A$ ,יטרבלה הדש ונה $K$ םאש
$K(A_\tor)$  ב לכומו $K$ תא ףיקמה הדש $M$ ו
.יטרבלה $M$ יזא

תויצקנופ תודשו םירפסמ תודשל הרעשהה תונוכנ לע ונחוד
.םירפסמ תודש רובע החכוהה תא ונרקסו
$K$ והשלכ יטרבלה הדש לעמ הרעשהה לש תשלחמ הסרג לש החכוה רקסל הנה תיחכונה האצרהה תרטמ
.$K$ לש האולג תבחרה הנה $M$ הבש 
.Thornhill ידי לע החכוה וז הסרג