1: \begin{definition}\label{def:homog-core}

2:   Let $H$ be a connected subgraph of $G$, satisfying properties 1--4 in

3:   Theorem~\ref{thm:component}.  Such a subgraph is called a

4:   \emph{homogeneous core} of $G$.

5: \end{definition}

6: