https://www.glc.us.es/~jalonso/calculemus/si-g-es-un-grupo-y-a-b-%e2%88%88-g-tales-que-b-a-1-entonces-a%e2%81%bb%c2%b9-b/