Rcone = 10
A = Point(zAxis)
B = Intersect(xAxis, yAxis)
a, c, b = Cone(A, B, Rcone)
C = Point(zAxis)
D = Midpoint(C, B)
d = Sphere(D, C)
E = PointIn(b)
e = Plane(E, zAxis)
f = IntersectPath(e, a)
F, G, H, I = Corner(f)
J = Point(f)
g = Segment(J, E)
K, L = Intersect(g, d)
h = Sphere(C, L)
k = Circle(zAxis, L)
M = PointIn(h)
i = Line(C, M)
j = OrthogonalPlane(M, i)
p = IntersectPath(j, a)
P, Q = Intersect(j, f)
l = OrthogonalPlane(Q, g)
R = Intersect(zAxis, l)
m = Line(R, Q)
n = OrthogonalPlane(Q, m)
o = Plane(M, zAxis)
q = IntersectPath(j, o)
N, O = Intersect(q, b)
S = Midpoint(N, O)
M' = Mirror(M, S)
r = OrthogonalLine(M', j)
T = Intersect(r, zAxis)
s = Sphere(T, M')
U = Midpoint(T, B)
t = Sphere(U, T)
V, W = Intersect(g, t)
c_1 = Circle(zAxis, W)