On 31 Okt., 08:15, Virgil <vir...@ligriv.com> wrote:
> > Every b_n is as nested with its predecessors and is as numerous as the > > corresponding d_n. > > If that were so, then you would have all b_n on the same line like the > d_n are, and not have a triangle at all. In order to have a triangle as > you constructed it, each row must be disjoint from all previous rows.
Al b_n which exist are on the same line, just like the d_n. That does not prevent that in addition some of them are also written above that line.