Rotate a point around O by a given constructible angle using angle copy and intersection with a circle centered at O

Original label: Rotate a point around O by a given constructible angle using angle copy and intersection with a circle centered at O