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