https://123dok.co/document/y96rmo7j-particular-prove-continuous-semialgebraic-map-semialgebraically-proper-proper.html