The Answer to the Question
is below this banner.
Here's the Solution to this Question
Lets define graph G = (V, E), where V - set of verticles, E - set of edges. Since each edge connects two verticles(technically, the loop connects verticle with itself, but it increases the degree of verticle by 2, so that doesn't ruin the logic as we will se), then
- sum of degrees of all verticles equals to doubled number of edges, so this sum is even.
Let , be a subset of all verticles with even and odd degree number respectively, then is obviously even. Since
Then is even. Every value in that sum(if it is not empty) is odd, then amount of values must be even. Amount of values in that sum is amount of verticles with odd degree number. If that sum is empty, then the amount of verticles with odd degree is 0 - still even number
The statement has been proven