-
Infinity of primes
A group-theoretic proof of infinity of primes.
-
Orbit counting lemma
A graph-theoretic proof of the orbit-counting theorem.
-
Counting walks
Recurrence relations for counting several types of walks.
-
Graham-Pollak determinant formula
A beautiful formula for the determinant of the distance matrix of a tree.