theorem :: GLIB_013:91

for G being _Graph
for v, w being Vertex of G st v is with_min_degree holds
v .degree() c= w .degree()