:: deftheorem Def10 defines Dregular GLIB_016:def 10 :
for G being locally-finite _Graph holds
( G is Dregular iff ex n being Nat st G is n -Dregular );