polynomial factor theorem