Sylvester's determinant identity

Sylvester's determinant identity is a theorem in linear algebra that relates the determinants of two matrices and their associated matrices.