正則関数C→H = {z∈C| Im(z) > 0}は、定数関数しか存在しないこと