theorem Th28: :: GLIB_016:28

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