>>676
複素関数 log(z) z≠0 の主値 Log(z) を定義出来るようにするため

>>685
エスパー君の主張>>428によると、
エスパー君による log の定義をするには多様体の理解が必要というから、
多様体の理解で通常はサードの定理が必要になる