行列式性质定理怎么证