O = Intersect(xAxis, yAxis)
c = Circle(O, 7)
d = Circle(O, 4)
A = Point(c)
f = Line(O, A)
B_{1}, B = Intersect(d, f)
g = OrthogonalLine(A, xAxis)
h = OrthogonalLine(B, g)
D = Intersect(g, h)
i = Segment(O, A)
j = Segment(B, D)
E = Point(xAxis)
F = Intersect(c, xAxis, 2)
k = Segment(E, F)
G = Point(k)
l = Segment(G, A)