https://123dok.net/document/q0544xxg-lojasiewicz-inequalities-sets-definable-structure-rexp.html