Since the Möbius transformation corresponding to exp Y sends z to e z, it follows that the right hand side lies in the semigroup. Conversely if g lies in H it carries the closed unit disk onto a smaller closed disk in its interior. Conjugating by an element of G, the smaller disk can be taken to have centre 0. But then for appropriate y, the element e − − Y g carries D onto itself so lies in G.