theorem :: ZMATRLIN:107

for V being free finite-rank Z_Module
for b1, b2 being OrdBasis of V
for f being bilinear-Form of V,V holds |.(Det (BilinearM (f,b2,b2))).| = |.(Det (BilinearM (f,b1,b1))).|