A = (13.961585115131578, -6.350217584978065)
B = (12.541585115131578, -2.210217584978066)
C = (14.00158511513158, -3.750217584978071)
D = (14.481585115131578, -2.9302175849780645)
E = (15.121585115131586, -4.83021758497807)
poly1, a, b, c, d, e = Polygon(A, B, C, D, E)
F = (11.28, -2.2600000000000002)
G = (12.68, -2.4)
f = Circle(F, G)
H = Point(f)
α = Angle(G, F, H)
g = Segment(G, F)
h = Segment(F, H)
A' = Rotate(A, α, F)
B' = Rotate(B, α, F)
C' = Rotate(C, α, F)
D' = Rotate(D, α, F)
E' = Rotate(E, α, F)
poly1', a', b', c', d', e' = Polygon(A', B', C', D', E')