The common-submatrix Laplace expansion

We state and prove a classical version of the Laplace expansion theorem where all submatrices in the expansion are restricted to contain a specified common submatrix (CSM). The result states that (accounting for signs) this restricted expansion equals the determinant of the original matrix times the determinant of the CSM.