$a \neq 0$ olan bir sifirguclu eleman alalim. O zaman bir adet en kucuk $n>0$ var ki $a^n=0$ olur. Simdi $n$'den buyuk esit en kucuk cift sayiyi alalim, $m$. O zaman $x^m=(x^{m/2})^2=0$ olur. Hipotezimizden $a^{m/2}=0$. Bu en kucuk $n$ ile celisir (n=1 degilse, 1 se zaten direk sifir).