##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
We need to partition the edges of into spanning trees. In every tree, each vertex has degree either or .
Fix one tree and let be the number of vertices of degree in this tree. Then the remaining vertices have degree , and by the handshake lemma: .
Rearranging gives: .
So must divide .
Now look at all trees together. For a fixed vertex , let be the number of trees where has degree . In the other trees, it has degree . Hence the total degree of across all trees equals: , so it is congruent to modulo .
But across the whole decomposition, the total degree of is exactly its degree in , which is . Therefore:
So a necessary condition is: .