O = (0, 0)
c = Circle(O, 2.5)
A = Point(c)
a = Line(O, A)
A' = Point(c)
b = Line(O, A')
α = Angle(A, O, A')