F = Point(xAxis)
B = Point(xAxis)
C = (2, -2)
d = Line(B, C)
c = Parabola(F, d)
T = Point(c)
t = Polar(T, c)
T_1 = Mirror(T, t)
V = Intersect(c, xAxis, 1)
c' = Mirror(c, t)
V' = Mirror(V, t)