The Factor Theorem Definition