Theorem 1 — the branch of a Steiner tree through $C \subseteq B(x)$ is a Steiner tree for $Y_C(x) \cup \{x\}$

Initializing...

Theorem 1 — the branch of a Steiner tree through $C \subseteq B(x)$ is a Steiner tree for $Y_C(x) \cup \{x\}$ · Prove2Me