1: \begin{definition} The pseudo-Riemannian metric $d$ on the graph $G(F)$

2: 	satisfying Theorem \ref{t2} is called the {\it induced metric}.

3: \end{definition}