theorem Th39: :: GLIB_013:39

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