Triangle Inequality/Complex Numbers/Corollary 3