theorem Th45: :: GLIB_016:45

for c being Cardinal
for G being _Graph st G .minInDegree() = c & G .minOutDegree() = c & G .supInDegree() = c & G .supOutDegree() = c holds
G is c -Dregular