On 3 Mrz., 22:33, Virgil <vir...@ligriv.com> wrote:
> > > Not at all. Clearly > > > there are all FIS of d in one single line > > > iff there is a last line. > > > I do not consider the sentence > > > "There is no last line" > > > to be a contradiction.- > > > But "there are all FIS" is not a contradiction > > But "there are all FIS in one single line" IS a contradiction, when, as > here, for each line there is a successor line longer than the line > itself.
And there are all FIS only in several lines is a contradiction too for the given list.