En un árbol el número de lineas es una unidad inferior al número de vértices. Esta propiedad se cumple en general, y justamente caracteriza a aquellos grafos conexos que hemos denominado árboles.
TEOREMA: Un grafo conexo con p vértices es un árbol si y solo si q de lineas es iqual a (p-1).
ESPERAMOS LA DEMOSTRACIÓN