the factor theorem