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
