Proposition 12
Tag 05X8, permanent. Cite it as [Bourbaki, Tag 05X8].
Algebra, chapter II, § 10. Matrices
For a system of m linear equations in n unknowns
over a field K to have at least one solution, it is necessary and sufficient that the matrix of the system and the matrix B, obtained by bordering A with an -th column equal to , be matrices of the same rank.
It has been seen (no. 4) that the existence of a solution of (54) is equivalent to the fact that the column is a linear combination of the columns of and the proposition therefore follows from § 7, no. 3, Corollary 4 to Proposition 4.
Note that the condition of Proposition 12 is always fulfilled when and is invertible, that is of rank (Proposition 11). If and then denote the matrices with one column and respectively, system (54) is equivalent to and its unique solution is .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.