A_1 = (9.404255319148938, -2.7957446808510644)
B = (4.714893617021277, 2.5404255319148934)
a = Line(A_1, B)
A = (5.664893617021278, -0.6127659574468087)
C' = Mirror(A, a)