Define Factor Theorem