Inside the Cloud (Proof)
Everything inside the cloud has the correct shortest path
Proof is by induction on the # of nodes in the cloud:
- initial cloud is just the source with shortest path 0
- inductive step: once we prove the shortest path to G is correct, we add it to the cloud
Negative weights blow this proof away!