具有负权重边的有向图的Dijkstra算法

Question

以下是具有负权重边的直接图的示例，其中Dijkstra算法产生错误答案：

应用Dijkstra的algorihm，我们得到以下结果：

我们从s到w的路径不是最短的。因此，我们无法获得正确的结果。

我们怎么能证明为什么我们不能在具有负权重边的有向图上应用Dijkstra算法的一般情况呢？