theorem :: MATRIXR2:42

for A being Matrix of 0 ,REAL holds Det A = 1