Versions of Theorem REF  also hold for ideal polyhedra [1]} and for hyperideal polyhedra [2]}. The existence of those extensions hint at the possibility of a wider extension to more general unbounded convex domains in \({\mathbb {H}}^3\)  as considered here.
