https://www.glc.us.es/~jalonso/calculemus/si-r-es-un-reticulo-y-x-y-%e2%88%88-r-entonces-x-%e2%8a%94-x-%e2%8a%93-y-x/