The result is constructive: there exists a polynomial time algorithm that either finds such a separator, or a d-shallow Kh minor.
Ez az eredmény konstruktív: létezik olyan polinom idejű algoritmus, ami vagy ilyen szeparátort talál, vagy egy d-sekély Kh minort.