Complex Modulus of Sum of Complex Numbers/Proof 2