theorem ThSign1: :: ZMATRLIN:55

for V being free finite-rank Z_Module
for b1, b2 being OrdBasis of V
for M being Matrix of rank V,INT.Ring st M = AutMt ((id V),b1,b2) holds
|.(Det M).| = 1