P
Initializing...
Lemma 2.1 — at an active vertex either a push or a relabel applies · Prove2Me