P
Initializing...
Lemma 3.6 — distance labels never decrease, and a relabeling increases the label · Prove2Me