Lemma 3.3 — under a valid labeling the sink is not reachable from the source in the residual graph

Initializing...

Lemma 3.3 — under a valid labeling the sink is not reachable from the source in the residual graph · Prove2Me