Complex arithmetic using polar form

Prove complex number identities involving modulus and argument, e.g. z z̅ = |z|², |z₁||z₂| = |z₁z₂| and arg(z₁z₂) = arg(z₁) + arg(z₂).