2.3.4 The Factor Theorem