A = Point(yAxis)
a = OrthogonalLine(A, yAxis)
B = Point(Circle[A, 12])
b = Segment(A, B)
c = Circle(A, 9)
C_1, D = Intersect(c, yAxis)
d = OrthogonalLine(D, yAxis)
e = OrthogonalLine(B, a)
C = Intersect(e, d)
M = Point(b)
f = Segment(D, B)
g = Segment(A, C)
h = Line(M, f)
i = Line(M, g)
P = Intersect(h, yAxis)
N = Intersect(i, e)
j = Segment(B, C)
k = Segment(A, D)
l = Segment(D, C)
m = Segment(M, N)
n = Segment(M, P)
p = Segment(A, M)
F: (p, m)
E: (p, n)
o = Distance(k, b)