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 | 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 | Body of Proof (TV series) | Birmingham Proof House | Artist's proof |
André Joyal used this fact to provide a bijective proof of Cayley's formula, that the number of undirected trees on n nodes is nn − 2, by finding a bijection between maximal directed pseudoforests and undirected trees with two distinguished nodes.
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.