theorem Th23: :: GLIB_016:23

for c being Cardinal
for G being _Graph st G .minDegree() = c & G .supDegree() = c holds
G is c -regular