Lemme
Pour un système de équations linéaires à inconnues, et la matrice des coefficients de , et la matrice augmentée .
On a une solution que si le rang colonne de est égal à celui de
Lemme
Pour un système de équations linéaires à inconnues, et la matrice des coefficients de , et la matrice augmentée .
On a une solution que si le rang colonne de est égal à celui de