行列式性质的推广