theorem :: TREES_4:6

for x being object holds root-tree x = {[{},x]}