Remark 2
Tag 00LS, permanent. Cite it as [Bourbaki, Tag 00LS].
Algebra, VIII, p. 362, § 19. Quaternion Algebras
The quaternion algebra of type is isomorphic to the quaternion algebra of type (III, §2, No. 5, p. 445). It is also isomorphic to the quaternion algebra of type for every pair of nonzero elements of K.
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.