theorem ThMBFY: :: ZMODLAT1:101

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