Graph Theory 10: Trees

After defining trees and forests, we prove that every tree has a leaf, and removing a leaf from a tree yields another tree. The material follows Diestel's "Graph Theory", section 1.5.