P
Initializing...
Lemma 3.7 — every distance label stays at most $2n - 1$ · Prove2Me