tratando de demostrar esto, llegue a lo siguiente:
Si a=0, 0x=b, b=0 (no verifica)
si x=0, a.0=b, b=0 (no verifica)
por existencia del neutro multiplicativo sabemos que a.1=a
por existencia del inverso multiplicativo se que a.a^-1=1
Entonces: a.a^-1.x=a^-1.b ----> 1.x=a^-1.b
Entonces x es igual al inverso multiplicativo de a por b