שינויים

***אם קיים <math>0>m\notin A</math> אזי <math>0<-\frac{m}{2}\in -A</math> בסתירה.

**לכן כל המספרים השליליים שייכים לA, כלומר <math>0_D\subseteq A</math> ולכן <math>A\geq 0_D</math>