theorem :: TREES_4:20

for x being object holds
( x -flat_tree {} = root-tree x & x -tree {} = root-tree x )