[see also: existence
Unfortunately, because of the possible presence of “cusps'', this need not be true.
The main difference from the case of finite coding trees is the presence of limits.