Veronderstel dat T een binaire boom is met T' een deelverzameling van T , een deelboom met sleutels s1 <= s2 <= ... <= sn die de wortel bevat en dat s0 = -oneindig, sn+1 = +oneindig.
T1 , ... , Tn+1 zijn de buitenbomen van T' en zij zijn allemaal zoekbomen
Toon aan : Geldt voor 1 <= i <= n+1 en alle sleutels xi element van Ti , dat si-1 <= xi <= si , dan is T een zoekboom.
Hopelijk iemand schitterende ideen
Alvast hartelijk dank
