שינויים
/* הוכחה שאכן מדובר באיבר נגדי */
**יהי <math>t\in 0_D</math> כלומר <math>t<0</math>
**רוצים למצוא <math>a\in A, b\in (-A)</math> כך ש <math>a+b=t</math>
**צריך כי נבחר <math>m\not\in A</math> כך ש<math>m+\frac{t-a}{2}\in (-A)</math>**צריך למצוא חסם מלעיל *מדוע זה אפשרי? כי אם <math>m+\frac{t}{2}\not\in A</math> של אז זה חסם, ואפשר להוסיף לו <math>A\frac{t}{2}</math> כך ש שזה מספר שלילי. אחרי מספיק פעמים נהיה קטנים מאיבר בקבוצה**כעת <math>t-am+\frac{t}{2}<-m</math>**כלומר צריך למצוא חסם מלעיל כך ש ולכן <math>a-t>m+\frac{t/2}\in (-A)</math>.**אם סה"כ <math>a-t=(m+\notfrac{t}{2})+(-m+\frac{t}{2})\in A+(-A)</math>
==יחס סדר==
