theorem :: TREES_1:23

{{}} is Tree ;