T417

A: (0, 0, 0)
B: (0, 13, 0)
C: (15, 13, 0)
D: (15, 0, 0)
m1, a, b, c, d = Polygon(A, B, C, D)
e, E, F, G, H, tahkoABFE, tahkoBCGF, tahkoCDHG, tahkoADHE, tahkoEFGH, särmäAE, särmäBF, särmäCG, särmäDH, särmäEF, särmäFG, särmäGH, särmäEH = Prism(m1, -10)
p = Plane(E, H, B)
m2, e_1, h, c_1, b_1 = Polygon(E, H, C, B)