Let be an square matrix composed of column vectors . Then we have the following properties for determinants.
(where is another column vector operated on the th column of ).
Properties 3 and 4 can be immediately verified by Laplace expansions. When we apply Laplace expansions recursively for , we end up with the determinants of matrices of the respective forms