for G being _Graph holds
( G is locally-finite iff for v being Vertex of G holds v .degree() is finite )