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