Determinant/Zero, linear dependent and rank property/Fact/Proof