https://www.glc.us.es/~jalonso/calculemus/si-r-es-un-anillo-ordenado-y-a-b-c-%e2%88%88-r-tales-que-a-%e2%89%a4-b-y-0-%e2%89%a4-c-entonces-a-c-%e2%89%a4-b-c/