Eq. (9), p. 4 — S(n) = ⋃_{a,b} S_ab ∪ S(n−1), the S_ab pairwise disjoint, and S_ab ≅ S(n−2) via f_ab

Initializing...

Eq. (9), p. 4 — S(n) = ⋃_{a,b} S_ab ∪ S(n−1), the S_ab pairwise disjoint, and S_ab ≅ S(n−2) via f_ab · Prove2Me