Finite Tree has Leaf Nodes

Theorem
Every non-edgeless finite tree has at least two leaf nodes.