Absolute Value Inequality is Compound Inequality/Corollary