> On 9 Mrz., 21:07, Virgil <vir...@ligriv.com> wrote:> > > > Of course the lines> > > from 1 to n are completely irrelevant.> >> > There is no way to have a line n+1 without having lines 1 to n preceding> > it, so that no line is irrelevant in determining the position of the> > lines following it.> > Wrong. Here is a set that starts at line 4> > 1,2,3,4> 1,2,3,4,5> 1,2,3,4,5,6> ...> 1,2,3,4,5,6,7,8,9,10,11,12

In your example above, the 1st line would be 1,2,3,4.

One does not count as if they were there lines which are not there.

And where is WM's proof that some mapping from the set of all binary sequences to the set of all paths of a CIBT is a linear mapping?WM several times claimed it but cannot seem to prove it.--