A double Sylvester determinant