(Induction) Otherwise, suppose that

(Induction) Otherwise, suppose that I and I−τ are already
constructed since their children also satisfy (27)
and, by monotonicity, children {IL, IR} = Ch(I, τ ) of I
satisfies ζS(x; IL, IR) ≤ ζS

Results (Indonesian) 1:

(Induksi) Jika tidak, misalnya, bahwa saya dan I−τ yang sudahDibangun sejak anak-anak mereka juga memenuhi (27)dan, dengan monotonicity, anak-anak {IL, IR} = Ch (I, τ) imemenuhi ζS(x; IL, IR) ≤ ΖS