What is the factor theorem?