Translate the horizontal coordinate by . Then is a standard Brownian motion starting at zero, and continuity identifies with its first-passage time to . The vertical coordinate remains an independent standard Brownian motion starting at zero. Part (a) therefore gives the Cauchy exit law from a Brownian half-plane:
The TeX transcription's initial value and later are both corrected here to the PDF's and .
For planar Brownian motion started at radius and stopped on first hitting radius one, the net winding count divided by converges to a standard Cauchy random variable divided by . The complex exponential maps Brownian coordinates in the left half-plane to the punctured unit disk after the conformal Brownian clock. The unwrapped argument at exit is the vertical half-plane exit coordinate, with the Cauchy exit law from a Brownian half-plane. Counting integer turns introduces only a uniformly bounded error in winding units.