Factor Theorem Definition