Notes
1. It is the inverse of the many-one function exp.
2.  See the definition.
3.  Log 1 = 0.
4.  For example, take z1 = - i, z2 = i.
5.  Definition of Log.