A = Point(xAxis)
B_1 = Intersect(xAxis, yAxis)
c = Circle(B_1, A)
C_1, B = Intersect(c, xAxis)
C = Point(yAxis)
d = Circle(B_1, C)
D_1, D = Intersect(d, yAxis)
a = Segment(B_1, B)
b = Segment(C, B_1)
e = Circle(C, a)
F_1, F_2 = Intersect(e, xAxis)
R = Point(xAxis)
f = Segment(A, R)
g = Circle(F_1, f)
h: 2.0 * a - f
k = Circle(F_2, h)
Q, P = Intersect(k, g)
l_1 = Segment(F_1, P)
l_2 = Segment(P, F_2)
l = Segment(F_1, Q)
m = Segment(Q, F_2)
p = Circle(B_1, a)
q = Circle(B_1, b)
T1: "l_1 + l_2 = " + (l_1 + l_2)
T2: "2a =" + (2.0 * a)