שינויים

אם <math>a\leq b</math> אז <math>a</math> מינימאלי ב-<math>A</math> . כי אם מישהו שונה ממנו מתחתיו אז גם מתחת <math>b</math> (טרנזיטיביות) וכיון ש-<math>b</math> מינימאלי ב-<math>A\smallsetminus \{a\}</math> נקבל שזה <math>b</math> בסתירה לכך ש- <math>a\leq b\land a\neq b</math>.