A = (4.16, -4.5600000000000005)
B = (10.120000000000001, -4.6000000000000005)
C = (8.540000000000001, -0.88)
poly1, c, a, b = Polygon(A, B, C)
D = (1.94, -5.7)
E = (8, 4.68)
d = Line(D, E)
A' = Mirror(A, d)
B' = Mirror(B, d)
C' = Mirror(C, d)
poly1', c', a', b' = Polygon(A', B', C')