Bijection between Prüfer Sequences and Labeled Trees

Theorem
There is a one-to-one correspondence between Prüfer sequences and labeled trees.

That is, every labeled tree has a unique Prüfer sequence that defines it, and every Prüfer sequence defines just one labeled tree.

Proof
Let $$T$$ be the set of all labeled trees of order $n$.

Let $$P$$ be the set of all Prüfer sequence of length $$n-2$$.


 * $$\phi$$ is clearly well-defined, as every element of $$T$$ maps uniquely to an element of $$P$$.


 * From Prüfer Sequence from Labeled Tree, every element of $$T$$ maps to a unique element of $$P$$.


 * From Labeled Tree from Prüfer Sequence, every element of $$P$$ maps to a unique element of $$T$$.

Hence the result.