שינויים
/* הוכחה שהמכפלה נותנת חתך דדקינד */
===הוכחה שהמכפלה נותנת חתך דדקינד===
*יהיו שני חתכי דדקינד '''אי שליליים''' חיוביים <math>0_D\leq < A,B</math>
*כיוון ש<math>x_1 <x</math> נובע כי <math>x_1 \in A</math>.
*לכן <math>t=x_1 y\in A\cdot B</math> בסתירה.
*אם אחד החתכים הוא <math>0_D</math> קל להוכיח כי מכפלתם היא <math>0_D</math> ולכן מהווה חתך.
===חתך היחידה===
