Lemma 6 — every edge $v \to p_C(v)$ of $C$ satisfies $2\cdot\mathrm{size}_C(v) \le \mathrm{size}_C(p_C(v))$

Initializing...

Lemma 6 — every edge $v \to p_C(v)$ of $C$ satisfies $2\cdot\mathrm{size}_C(v) \le \mathrm{size}_C(p_C(v))$ · Prove2Me