Theorem 3.5.10 Triangle Inequality Theorem