theorem Th49: :: GRAPH_3:49

for G being finite Graph
for v being Vertex of G
for c being cyclic Path of G holds Degree (v,(rng c)) is even