https://www.glc.us.es/~jalonso/calculemus/pruebas-de-equivalencia-de-definiciones-de-inversa/