Nonzero function on simply connected domain admits holomorphic logarithm