A = (4, 1)
B = (6, 1)
a = Segment(A, B)
A' = (-3, 5)
B' = (0, 5)
b = Segment(A', B')
c = Line(A, B)
d = Circle(A, Segment[A', B'])
C', C = Intersect(d, c)
e = Circle(B, Segment[A', B'])
D, D' = Intersect(e, c)
f = Circle(D, Segment[A', B'])
g = Circle(C, Segment[A', B'])
E_1, E = Intersect(g, f)
h = Segment(D, E)
i = Segment(E, C)
j = Segment(A, E)
k = Segment(B, E)