convex_polyhedron_is_cut_by_face_of_tetrahedron