We will define a procedure to pair the nodes of a rooted tree such that every node is paired if the tree size is even, and otherwise exactly one node is left unpaired, whose orientation relative to the root we can freely choose.

Root the tree at node and recursively apply this procedure to the subtrees of . For an odd subtree rooted at , we choose to keep the node in that subtree such that , , and lie on the same line (which, by our induction, is always possible).

From here, we can pair as many edges with each other as possible, and also as many s as possible. In the end, we are left with at most one of each edge. If we only have one edge, we can just delete both nodes. Otherwise, we have one of each, so we can freely choose direction. Thus, our induction hypothesis is satisfied.