E = (14.5, 10.5)
e = Circle(E, 2.0)
b = 4 (slider from 0 to 4, step 0.05)
D = Point(Circle[(6.0, 10.0), b])
c = Segment((6.0, 10.0), D)
C = Point(Circle[D, 1.0])
a = Segment(D, C)
A = Point(Circle[C, 1.0])
d = Segment(C, A)
H = Point(Circle[A, 1.0])
g = Segment(A, H)
I = Point(Circle[H, 1.0])
h = Segment(H, I)
J = Point(c)
K = (6, 11)
i = Segment(K, H)
B = Point(e)
j = Segment(E, B)
β = 0 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
E' = Rotate(E, -1.0 * β, E)
B' = Rotate(B, -1.0 * β, E)
j' = Segment(E', B')
F = Midpoint(A, C)
f = Segment(F, B')