Factor theorem