for V being free finite-rank Z_Module
for b being OrdBasis of V holds len b = rank V