Es sei det {\displaystyle {}\operatorname {det} } die soeben definierte Determinante.
Dann ist det {\displaystyle {}\operatorname {det} } die einzige Abbildung aus Alt R ( M n , R ) {\displaystyle {}\operatorname {Alt} _{R}(M^{n},R)} mit det ( E n ) = 1 {\displaystyle {}\operatorname {det} (E_{n})=1} .