[math-fun] mysterious arguments of the sum of 2 complex numbers