Theorem 2
Tag 00GQ, permanent. Cite it as [Bourbaki, Tag 00GQ].
Algebra, VIII, p. 256, § 14. Central Simple Algebras
Let B be a semisimple ring and Z its center; suppose that B is a finitely generated Z-module. Let A be a right Artinian ring, and let and be ring homomorphisms from B to A; write and for the restrictions of and to Z. The following properties are equivalent:
(i) There exists an inner automorphism of A such that .
(ii) There exists an inner automorphism of A such that .
Since the ring A is right Artinian, is a right A-module of finite length (VIII, p. 6, Theorem 1). Hence and are , A)-bimodules of finite length. By Lemma 1 (VIII, p. 254), assertion (i) means that and are isomorphic , A)-bimodules and assertion (ii) that they are isomorphic -bimodules. The equivalence of (i) and (ii) therefore follows from Lemma 2 (VIII, p. 254).
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.