We prove, following [5, p. 92], that any family of subtrees of a finite tree satisfies the Helly property.
MML identifier: HELLY, version: 7.8.09 4.97.1001