A = (6.3, 8.9)
B = (3.5, 2.1333333333333333)
a = Line(A, B)
C = (5.7, 6.3)
C' = Mirror(C, a)
b = Segment(C, C')