Es sei K{\displaystyle {}K} ein angeordneter Körper und es sei a∈K≥0{\displaystyle {}a\in K_{\geq 0}}. Ferner sei n∈N+{\displaystyle {}n\in \mathbb {N} _{+}}.
Dann gibt es höchstens ein x∈K≥0{\displaystyle {}x\in K_{\geq 0}} mit