O = Intersect(zAxis, yAxis)
a = Sphere(O, 5)
c = IntersectPath(xOyPlane, a)
Greenwich = Point(c)
C_1 = Point(c)
D: (0, 0, 5)
E: (0, 0, -5)
d = Circle(D, Greenwich, E)
B_1 = Point(c)
O_1: (0, 0, 4)
b = Plane(O_1, c)
e = IntersectPath(b, a)
f = Circle(D, C_1, E)
G, H = Intersect(e, f)
g = Segment(O, H)
h = Segment(O, C_1)
α = Angle(C_1, O, H)
i = Segment(D, O)
j = Segment(O_1, H)
I = Point(c)
k = Circle(D, I, E)
J, K = Intersect(e, k)
L = Intersect(e, f, 2)
m = Line(O, L)
P = Point(m)
n, q = Tangent(P, f)
B, O_2 = Intersect(n, f)
P_1, C = Intersect(q, f)
l = Segment(K, O_1)
p = CircleArc(O_1, K, H)
r = CircleArc(O, C, B)
s = Segment(O, C)
t = Segment(O, B)
β = Angle(P, C, O)
γ = Angle(P, B, O)