1: \begin{definition}

2: The undirected graph $G(L+U)$ that is derived from the undirected graph 

3: $G(A)$ by applying Theorem \ref{thr:gilbert} is called the \emph{filled graph} 

4: and it will be denoted by $G_f(A)$.

5: \end{definition}

6: