Definition: For all $a$ in $R$ there exists an $x\in R$ and a natural number $n > 0$ such that $(a^n)x(a^n)=a^n$