A = (8.42, -2.26)
B = (7, 1.88)
C = (8.46, 0.34)
D = (8.94, 1.16)
E = (9.58, -0.74)
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')