for G being _Graph holds G .supOutDegree() c= G .supDegree()