convex_polyhedron_is_cut_by_cube_html