https://www.glc.us.es/~jalonso/calculemus/si-r-es-un-anillo-ordenado-entonces-%e2%88%80-a-b-%e2%88%88-r-a-%e2%89%a4-b-%e2%86%92-0-%e2%89%a4-b-a/
Si R es un anillo ordenado, entonces ∀ a b ∈ R, a ≤ b → 0 ≤ b - a