This question is not a duplicate of the other questions of this time. I want to ask is how strong is the following proof that I am going to give from an examination point of view?
Proof:
Consider a tree $T$ with $n$ vertices. Let us reconstruct the tree from the root vertex.
When the first root vertex has been added, the number of edges is zero. After the root vertex, every vertex that is added to the construction of $T$ contributes one edge to $T$.
Adding the remaining $n-1$ vertices to the construction of $T$, after the root vertex, will add $n-1$ edges.
Therefore, after the reconstruction of $T$ is complete, $T$ will have $n$ vertices and $n-1$ edges.
Hence Proved.
Is this a sound proof at all?
What seems missing from the proof is:
After the $n$-th vertex is added, how do we know there exists some "unused" vertex $v$ which is adjacent to a "used" vertex?
How do we know that $v$ is not adjacent to multiple "used" vertices?
How do we know that this algorithm will terminate, having used all the vertices?
Also note that not all trees are rooted (i.e., have a root vertex), but we can distinguish an arbitrary vertex to make it rooted.