1: \begin{proof}

2:     By Proposition~\ref{prop.rootablejoin} and the decomposition of Section~\ref{subsec.unrootedstr} the set of nice vertices of a graph $G \in \crd l$ is $H$-attachable. %\m{Prove more rigorously?}

3:     The claim follows by Lemma~\ref{lem.nice} and Lemma~\ref{lem.pendant}.

4: \end{proof}

5: