https://9dok.net/document/qo5l0430-iterated-rings-bounded-elements-generalizations-schmüdgen-s-positivstellensatz.html