Corollary 2
Tag 00AH, permanent. Cite it as [Bourbaki, Tag 00AH].
Algebra, VIII, p. 156, § 9. Radical
An element of A is invertible if and only if its canonical image in the ring is invertible.
The condition is obviously necessary. Let us prove that it is sufficient. Let be an element of A whose canonical image in the ring is invertible. There then exists an element of A such that belongs to . By Theorem 1 is invertible; hence is right invertible. The proof that is left invertible is analogous.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.