https://123dok.net/document/y8gpgg4r-complexity-computing-zero-dimensional-triangular-sets.html