Curator smoke: tree edge count

Type: EXACT_PROPOSITION · Status: AVAILABLE · 1,000 tokens

Every finite tree with n vertices has exactly n-1 edges.