Title: The highest common factor of a system of polynomials in one variable