A = (-9, -3)
B = (3, -3)
poly1, t_1, b_2, c_1, d_1, C, D = Polygon(A, B, 4)
E = Point(c_1)
u = Segment(E, A)
F_1 = Midpoint(u)
f_1 = OrthogonalLine(F_1, u)
I = Intersect(f_1, d_1)
G = Intersect(f_1, b_2)
bottom, s, s_2, s_1, t = Polygon(G, B, A, I)
H' = Mirror(G, f_1)
F = Mirror(B, f_1)
A' = Mirror(A, f_1)
G' = Mirror(I, f_1)
folded, g, e, d, f = Polygon(H', F, A', G')
top, c, a, b, h_1 = Polygon(I, D, C, G)
I_1 = Intersect(b_2, b)
H = Intersect(b, e)
M = Midpoint(H, C)
Midpoint(D, E)
h: Distance[D, E] / Distance[A, B]
text1 = FractionText(h)
i = Segment(D, E)
j = Segment(C, M)
text2 = FractionText(Distance[C, M] / Distance[A, B])