A = (8.5, -3.74)
B = (10.42, -2.5800000000000027)
C = (9.52, 0.6799999999999999)
poly1, c, a, b = Polygon(A, B, C)
D = (4.24, -5.96)
E = (9.66, 2.14)
d = Line(D, E)
A' = Mirror(A, d)
B' = Mirror(B, d)
C' = Mirror(C, d)
poly1', c', a', b' = Polygon(A', B', C')
F = Rotate(E, 40°, D)
α = Angle(E, D, F)
e = Line(D, F)
A'' = Mirror(A', e)
B'' = Mirror(B', e)
C'' = Mirror(C', e)
poly1'', c'', a'', b'' = Polygon(A'', B'', C'')