Correctness of the Successive Shortest Augmenting Path Algorithm