Correct derivation of complex abs value formula