1. On remarque que , et se lisent dans les colonnes. L'opération multiplie le déterminant par (proposition 10 (i) et (ii)), et la nouvelle première ligne est . Par linéarité par rapport à cette ligne, et le dernier déterminant est un entier, par la formule du déterminant. Ainsi divise , et, comme est premier avec , le lemme de Gauss (chapitre 12) montre que divise . On vérifie par la règle de Sarrus que . ✓
2. L'opération remplace la première ligne par . On factorise, puis on effectue et : La dernière matrice est triangulaire de diagonale .
3. On passe de à en multipliant la ligne par pour chaque , puis la colonne par pour chaque . Par la proposition 10 (ii), le déterminant est multiplié par Autrement dit, avec , et .