theorem Th40: :: GLIB_013:40

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