2. To bisect an angle

In the construction for bisecting an angle, we are

From the construction we are