A: (-4, -4)
B: (4, -4)
C: (4, 4)
D: (-4, 4)
q1, a, b, c, d = Polygon(A, B, C, D)
e, E, F, G, H, faceABFE, faceBCGF, faceCDHG, faceADHE, faceEFGH, arêteAE, arêteBF, arêteCG, arêteDH, arêteEF, arêteFG, arêteGH, arêteEH = Prism(q1, 8)
I: (4, 1, 8)
K: (-4, -4, 3)
J = Midpoint(arêteEF)
f = Segment(K, J)
g = Segment(J, I)
h = Line(K, J)
i = Line(B, F)
L = Intersect(h, i)
j = Line(L, I)
M = Intersect(arêteCG, j)
k = Segment(I, M)
l = Line(K, j)
N = Intersect(d, l)
m = Segment(K, N)
n = Line(N, g)
P = Intersect(c, n)
p = Segment(N, P)
q = Segment(P, M)
poly1, k_1, j_1, i_1, m_1, p_1, n_1 = Polygon(K, J, I, M, P, N)