theorem Th24: :: GRAPH_3:24

for G being finite Graph
for v being Vertex of G holds Degree v = Degree (v, the carrier' of G)