正直言って一意化定理はイメージしにくい
半平面と単位円板が同じとか