Cayley’s theorem
Definition 205.1(Tree).
A tree is a minimally connected graph.
Definition 205.2(Cycle).
A cycle is a sequence of distinct vertices where for all and .
Theorem 205.3.
A tree is a connected graph without cycles.
Theorem 205.4(Cayley's).
The number of labelled trees on vertices is .
Refer Cameron (2001, p. 38).
Alternate proof exists using Prüfer sequences.
References
Cameron, P. J. (2001). Combinatorics: Topics, Techniques, Algorithms (Transferred to digital printing). Cambridge Univ. Press.