C→Cの写像としての複素数の和がwell-definedであることを述べるべきか。