Using the definition of ζS (10a) an

Using the definition of ζS (10a) and monotonicity of τ , one
can verify that for any grandchild I ∈ G(τ ) and its ancestor
A ∈ Anc (I, τ )

Results (Indonesian) 1:

Menggunakan definisi ζS (10a) dan monotonicity τ, satudapat memverifikasi bahwa untuk setiap cucu saya ∈ G (τ) dan para leluhurAnc ∈ (I, τ)

Results (Indonesian) 2:

Menggunakan definisi ζS (10a) dan kemonotonan dari τ, satu
dapat memverifikasi bahwa untuk setiap cucu saya ∈ G (τ) dan leluhurnya
A ∈ Anc (I, τ)