theorem Th60: :: GLIB_016:60

for G being _Graph
for v being Vertex of G holds (G .degreeMap()) . v = ((G .inDegreeMap()) . v) +` ((G .outDegreeMap()) . v)