A = Intersect(zAxis, yAxis)
a = Sphere(A, 5)
c = IntersectPath(xOyPlane, a)
Greenwich = Point(c)
C = Point(c)
P: (0, 0, 5)
E: (0, 0, -5)
d = Circle(P, Greenwich, E)
e = Circle(P, C, E)
f = Segment(Greenwich, A)
g = Segment(C, A)
B = Point(c)
F = Intersect(d, e, 2)
h = Circle(P, B, E)
O = Intersect(f, xAxis)
i = Segment(B, O)
α = Angle(C, O, Greenwich)
β = Angle(Greenwich, O, B)