Is the proof of runtime similar to Dijkstra's proof?

Please help.