theorem LmSign31: :: ZMATRLIN:53

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