Triangle Inequality/Complex Numbers/Corollary 1