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