שינויים

# הטענה כמובן אינה נכונה אם <math>X</math> ריקה. זו אינה נקודה שולית: הלמה של צורן מספקת הוכחת קיום, וכדי להפעיל אותה יש לוודא שקיים איזשהו איבר בקבוצה <math>X</math>; רק אחר-כך מספקת הלמה איבר מקסימלי בקבוצה.

# אם <math>X</math> קבוצה סדורה לינארית, טענת הלמה נכונה באופן טריוויאלי (משום ש-<math>X</math> עצמה היא שרשרת, ולפי ההנחה יש לה חסם מלעיל, שהוא איבר מקסימלי). הלמה נועדה, איפוא, לטפל במקרים שבהם הסדר של <math>X</math> אינו לינארי.

# במקרה שהקבוצה הסדורה <math>X</math> סופית, אין צורך בלמה: ניקח איבר כלשהו של <math>X</math>. אם הוא מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו. אם האיבר החדש מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו, וכו'. כל עוד איננו נעצרים באיבר מקסימלי, אנו מקבלים איברים חדשים של <math>X</math>. כיון שהקבוצה <math>X</math> סופית, התהליך חייב להפסק לאחר מספר סופי של צעדים, כלומר ניעצר באיבר מקסימלי.