שינויים
/* כפל חתכי דדקינד */
**<math>A\cdot B = (-A)\cdot (-B)</math>
===הוכחה שהמכפלה נותנת חתך דדקינד===
*יהיו שני חתכי דדקינד '''אי שליליים''' <math>0_D\leq A,B</math>
*ברור שהמכפלה לא ריקה כיוון ש <math>0_D\subseteq A\cdot B</math>
*כיוון שA,B חתכי דדקינד מדובר בקבוצות חסומות, אז קיימים חסמי מלעיל <math>m_A,m_B</math> בהתאמה.
*לכל <math>xy\in AB</math> מתקיים כי <math>x<m_A,y<m_B</math> ולכן <math>xy<m_A\cdot m_B</math>. זה נכון כי החסמים חיוביים, כי מדובר בחתכים חיוביים.
*אם <math>t\in AB</math> צ"ל כי <math>t</math> אינו חסם מלעיל של <math>AB</math>.
*אם <math>t\leq 0</math> ברור שאינו חסם מלעיל של <math>AB</math> כיוון שיש בקבוצה מספרים חיוביים.
*לכן <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> חסם מלעיל.
===חתך היחידה===
