שינויים
/* הגרסה החזקה של הלמה של צורן */
שאר הסעיף מוקדש ל'''הוכחת הלמה''' (על-פי Pierre-Yves Gaillard). ההוכחה בדרך השלילה. נניח שאין ל-X איבר מקסימלי.
נסמן ב-<math>\ \Omega</math> את אוסף תת-הקבוצות הסדורות היטב של X. לפי ההנחה, כל <math>W\in \Omega</math> היא חסומה מלעיל. יתרה מזו, לפי הנחת השלילה אין ב-W איבר מקסימלי של X, ולכן אפילו הקבוצה <math>\ \hat{W} = \{x \in X : W < x\}</math> אינה ריקה (כאן, "<math>W < x</math>" הוא כתיב מקוצר לטענה "<math>w<x</math> לכל <math>\ w\in W</math>"). לפי אקסיומת הבחירה, קיימת פונקציה <math>\ p : \Omega \rightarrow X</math>, המתאימה לכל <math>\ W \in \Omega</math> איבר <math>\ p(W) \in \hat{W}</math>, כלומר, קיים איבר לכל W מתקיים <math>\ W < p(W)</math>.
נאמר שתת-קבוצה סדורה היטב W היא '''מדוייקת''' אם לכל <math>\ w\in W</math> מתקיים <math>p(W_{<w}) = w</math>. (שימו לב שבכל מקרה האיבר w הוא חסם מלעיל של הרישא <math>\ W_{<w}</math>, ולכן ''יתכן'' ש-<math>\ p(W_{<w})=w</math>). ('''הערה'''. השאלה איזו תת-קבוצה W היא מדוייקת תלויה בפונקציה p, שעצם קיומה תלוי בהנחת השלילה על כך שאין ל-X איברים מקסימליים; משנוכיח שהנחה זו מביאה לסתירה, יתברר שאי-אפשר להגדיר את p, וממילא יתפוגג המושג הזה ויאבד את משמעותו).
