Before revision:  Under certain  conditions we are able to control the approximation error and to prove correctness of the algorithm for arbitrary polytopes.
After revision:  Under certain strong conditions we are able to control the approximation error and to prove correctness of the algorithm for arbitrary polytopes.