theorem Th46: :: GLIB_016:46

for G being _Graph
for n being Nat st G is n -Dregular holds
G is 2 * n -regular