a≠0 olan bir sifirguclu eleman alalim. O zaman bir adet en kucuk n>0 var ki an=0 olur. Simdi n'den buyuk esit en kucuk cift sayiyi alalim, m. O zaman xm=(xm/2)2=0 olur. Hipotezimizden am/2=0. Bu en kucuk n ile celisir (n=1 degilse, 1 se zaten direk sifir).