theorem Th93: :: GLIB_013:93

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