state and prove factor theorem - Search