Machine's theory has to do with the local behavior of indifference curves.

Let V(x)= an indifference curve.

V(x) differentiable => there exists local utility function