theorem :: MSAFREE5:16

for c being set holds Leaves (root-tree c) = {c}