Determinant/Laplace expansion/Fact