לא זכור לי שהגדירו אצלינו איבר מקסימלי,
אבל מן הסתם ההגדרה היא שאם f מקסימלי אין g כך ש
ומהלך ההוכחה שלך הוא נכון, רק בסוף הייתי מוסיף: ולכן
אבל מן הסתם ההגדרה היא שאם f מקסימלי אין g כך ש
(f,g)\in K
,ומהלך ההוכחה שלך הוא נכון, רק בסוף הייתי מוסיף: ולכן
(f,g)\in K
בסתירה להנחה.

מחובר