Define Factor Theorem Definition