The factor theorem