A = (10, 10)
B: (10, 2.5)
c = Circle(A, B)
B' = Rotate(B, 30°, A)
α = Angle(B, A, B')
B'' = Rotate(B', 30°, A)
β = Angle(B', A, B'')
B''' = Rotate(B'', 30°, A)
γ = Angle(B'', A, B''')
C = Rotate(B''', 30°, A)
δ = Angle(B''', A, C)
C' = Rotate(C, 30°, A)
ε = Angle(C, A, C')
C'' = Rotate(C', 30°, A)
ζ = Angle(C', A, C'')
C''' = Rotate(C'', 30°, A)
η = Angle(C'', A, C''')
D = Rotate(C''', 30°, A)
θ = Angle(C''', A, D)
D' = Rotate(D, 30°, A)
ι = Angle(D, A, D')
D'' = Rotate(D', 30°, A)
κ = Angle(D', A, D'')
D''' = Rotate(D'', 30°, A)
λ = Angle(D'', A, D''')
f = Segment(A, C'')
g = Segment(A, C')
h = Segment(A, C)
i = Segment(A, B''')
j = Segment(A, B'')
k = Segment(A, B')
l = Segment(A, B)
m = Segment(C''', A)
n = Segment(D, A)
p = Segment(D', A)
q = Segment(D'', A)
r = Segment(D''', A)