Side Inequality Theorem Definition