Triangle Inequality/Complex Numbers/Corollary 2