theorem :: GLIBPRE1:23

for G being _Graph
for v being Vertex of G holds
( v is endvertex iff v .degree() = 1 )