sylvesters determinant identity