Definition:Complex Logarithm/Definition 2