An alternative bijective proof, given by Aigner and Ziegler and credited by them to André Joyal, involves a bijection between, on the one hand, n-node trees with two designated nodes (that may be the same as each other), and on the other hand, n-node directed pseudoforests.
Proof of Life | Proof | Body of Proof | Proof (rapper) | Rabbit-Proof Fence (film) | Legal burden of proof | Rabbit-Proof Fence | Proof (play) | Follow the Rabbit-Proof Fence | Death Proof | Combinatorial optimization | Zero-knowledge proof | Zero-knowledge password proof | Weather Proof | The Burden of Proof | Rabbit-Proof Fence (movie) | Proof-theoretic semantics | proof that π is irrational | Proof of impossibility | Proof of delivery | proof of concept | proof | Official Live: 101 Proof | Non-interactive zero-knowledge proof | Language, Proof and Logic | Journal of Combinatorial Theory | Body of Proof (TV series) | Birmingham Proof House | Artist's proof |