If f is total, then every label except l 0 is fused into exactly one hole, hence, has exactly one parent in T U, f .
with U being finite, if we start at any arbitrary node and follow the sequence of parents, we have to end up at l 0 .