שינויים
/* הוכחה שהמכפלה נותנת חתך דדקינד */
*לכן <math>t=xy\in AB</math>.
*כיוון ש<math>x</math> אינו חסם מלעיל של <math>A</math> קיים <math>x<z\in A</math> ולכן <math>xy<zy\in A</math> בסתירה.
*אם <math>t\not\in AB</math> צ"ל כי <math>t</math> חסם מלעיל.
*נב"ש כי <math>t</math> אינו חסם מלעיל, לכן יש בקבוצה איבר גדול ממנו.
*כיוון ש <math>t\not\in AB</math> נובע כי <math>t>0</math>, ולכן האיבר שגדול ממנו הוא מהצורה <math>t<xy</math>.
*לכן <math>\frac{t}{y}<x</math>, נבחר <math>x_1 =\frac{t}{y}<x</math>.
*כיוון ש<math>x_1 <x</math> נובע כי <math>x_1 \in A</math>.
*לכן <math>t=x_1 y\in A\cdot B</math> בסתירה.
===חתך היחידה===
