:: deftheorem defines cubic GLIB_016:def 5 :
for G being _Graph holds
( G is cubic iff G is 3 -regular );