A = Intersect(yAxis, xAxis)
B = Point(xAxis)
C = Point(Circle[B, Distance[A, B], Segment[A, B]])
a, D, E, F, G, H, faceABCD, faceADHE, faceABFE, faceBCGF, faceCDHG, faceEFGH, edgeAD, edgeAB, edgeBC, edgeCD, edgeAE, edgeDH, edgeEH, edgeEF, edgeBF, edgeFG, edgeCG, edgeGH = Cube(A, B, C)
A' = (-3.075300331839549, 3.72386493287177, 0.759256554290977)
I = (3.747927779893411, 2.9934065848968316, 2)
c = Sphere(I, 1)
f = Line(A, A')
g = Line(I, f)
J = Intersect(g, c, 2)
s = Vector(I, J)
K = (-1.822036717748265, 4.0917126543446365, 0)
L = (-0.35736456254464954, -3.0428291618643066, 0)
h = Line(K, L)
i = OrthogonalLine(K, xOyPlane)
b = Plane(i, h)
j = Line(B, f)
k = Line(C, f)
l = Line(D, f)
m = Line(E, f)
n = Line(F, f)
p = Line(H, f)
q = Line(G, f)
r = Line(B, A)
t = Line(D, A)
S_{AB} = Intersect(r, b)
S_{AD} = Intersect(t, b)
d = Line(S_{AB}, A')
B' = Intersect(j, d)
e = Line(S_{AD}, A')
D' = Intersect(l, e)
f_1 = Line(B, E)
S_{BE} = Intersect(f_1, b)
g_1 = Line(S_{BE}, B')
E' = Intersect(g_1, m)
h_1 = Line(B', e)
O = Intersect(e, l)
i_1 = Line(O, d)
C' = Intersect(i_1, k)
j_1 = Line(A', E')
k_1 = Line(B', j_1)
l_1 = Line(C', j_1)
m_1 = Line(O, j_1)
H' = Intersect(m_1, p)
G' = Intersect(l_1, q)
F' = Intersect(n, k_1)
poly1, a', b', c', d' = Polygon(A', B', C', D')
o, P, R, S, faceA'B'PE', faceB'C'RP, faceC'D'SR, faceA'D'SE', faceE'PRS, edgeA'E', edgeB'P, edgeC'R, edgeD'S, edgeE'P, edgePR, edgeRS, edgeE'S = Prism(poly1, E')
A_0 = Intersect(f, b)
B_0 = Intersect(j, b)
C_0 = Intersect(k, b)
D_0 = Intersect(l, b)
E_0 = Intersect(m, b)
H_0 = Intersect(p, b)
G_0 = Intersect(q, b)
F_0 = Intersect(n, b)
poly2, m_2, t_1, q_1, n_1 = Polygon(A_0, D_0, C_0, B_0)
poly3, u, v, w, a_1 = Polygon(E_0, H_0, G_0, F_0)
poly4, m_3, t_2, v_1, u_1 = Polygon(A_0, D_0, H_0, E_0)
poly5, n_2, q_2, w_1, a_2 = Polygon(B_0, C_0, G_0, F_0)
poly6, a_3, u_2, m_4, n_3 = Polygon(F_0, E_0, A_0, B_0)
poly7, q_3, w_2, v_2, t_3 = Polygon(C_0, G_0, H_0, D_0)