Sea A un anillo. Sea $a\in A$ . Si existe un $n\in \Bbb{N}$ tal que $a^n$ es invertible, entonces $a$ es invertible.
Si $a^n$ es invertible, entonces existe $b\in A$ tal que $a^n \cdot b = b \cdot a^n = 1_{A}$ . De esto puedo ver que $a$ tiene un inverso derecho y uno izquierdo, $b \cdot a^{n-1}$ y $ a^{n-1} \cdot b$ respectivamente. Si estos dos son iguales, entonces está probado. Si no me equivoco, no puedo simplemente multiplicar ambos por $a$ en ambos lados, porque todavía no sé que a es de hecho invertible.