theorem Th29: :: GRAPH_3:29

for G being finite Graph
for v being Vertex of G
for X1, X2 being set st X2 c= X1 holds
Degree (v,(X1 \ X2)) = (Degree (v,X1)) - (Degree (v,X2))