for x being set holds card (root-tree x) = 1