Determinant/Laplace expansion/Fact/Proof