Lemma 2
Tag 00PL, permanent. Cite it as [Bourbaki, Tag 00PL].
Algebra, VIII, p. 442, Appendix 1. Algebras without Unit Element
Let M be a semisimple left A-pseudomodule, and let be an element of M. There exists an element such that .
Let N be the left A-pseudomodule . It satisfies AN . By Corollary 3 of VIII, p. 56 applied to the -modules M and , the A-pseudomodule N is semisimple. By definition, every simple sub-pseudomodule S of N satisfies AS . Consequently, the pseudomodule N is zero, and we obtain that .
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.