How can it be proved with graph/calculus that the substitution effect must always be negative?
Why is the substitution effect always negative?