F = (-20, 0)
e = Circle(F, 20.0)
G = Point(e)
a = Ray(F, G)
c = Ray(G, Vector[Vector[(0.0, 0.0), (1.0, 0.0)]])
G' = Mirror(G, a)
c' = Ray(G', Vector[Direction[Ray[Mirror[G, a], Direction[Ray[Mirror[G, a], Direction[Ray[Mirror[G, a], Direction[Mirror[c, a]]]]]]]]])
b = Line(G, c')
A = Intersect(b, xAxis)
α = Angle(c, a)