theorem LmSign3: :: ZMATRLIN:54

for V being free finite-rank Z_Module
for b1, b2 being OrdBasis of V st rank V > 0 holds
(AutMt ((id V),b1,b2)) * (AutMt ((id V),b2,b1)) = 1. (INT.Ring,(rank V))