שינויים

**נבחר <math>m\not\in A</math> כך ש<math>m+\frac{t}{2}\in A</math>

***מדוע זה אפשרי? כי אם <math>m+\frac{t}{2}\not\in A</math> אז זה חסם, ואפשר להוסיף לו <math>\frac{t}{2}</math> שזה מספר שלילי. אחרי מספיק פעמים נהיה קטנים מאיבר בקבוצה

**סה"כ <math>t=(m+\frac{t}{2})+(-m+\frac{t}{2})\in A+(-A)</math>