https://123dok.net/document/y96lvwwy-properness-defects-of-projections-and-computation-of-one-point-in-each-connected-component-of-a-real-algebraic-set.html