Date: Feb 15, 2013 5:27 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<8847efa6-6663-40e9-a61e-76bba7f34db6@dp10g2000vbb.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 15 Feb., 00:53, Virgil <vir...@ligriv.com> wrote:
>

> > > > And just this criterion is satisfied for the system
> >
> > > > 1
> > > > 12
> > > > 123
> > > > ...

> >
> > > > For every n all FISs of d are identical with all FISs of line n.
> >
> > For every n there is an (n+1)st fison of d not identical to any  FIS of
> > line n.

>
> That does not prove d is not in the list, but only that d is not in
> the first n lines of the list.


For every n.

So that demolishes WM's claim that there is some n such that d IS in
the first n lines.
--