P
Initializing...
Lemma 3.1 — the algorithm maintains a valid labeling · Prove2Me