for t being finite Tree
for p being Element of t st t = t | p holds
p = {}