¿Cómo se comprueba la inversa de una función?