theorem Th20: :: GLIB_016:20

for c1, c2 being Cardinal
for G being _Graph st G is c1 -regular & G is c2 -regular holds
c1 = c2