theorem :: GLIB_016:39

for G being _Graph st ex v being Vertex of G st v is endvertex & G is regular holds
G is 1 -regular