Proof WritingHardInduction
Induction · Hard problem
Induction on the number of vertices (remove a leaf) shows that every tree with vertices has edges. A forest is a graph whose pieces are trees. A forest has vertices split among trees. How many edges does it have?