garantiza que existe la función diferenciable, x(y).