This result is a particular case of R5124: Modulus of complex number polar representation. $\square$