Paragraph

Our second proposition tells us that all trees have leaves: vertices of degree one.

in-context