On 10 Mrz., 20:52, William Hughes <wpihug...@gmail.com> wrote:
> Let l be a line of L > > Do you agree with the statement > > For every n, the nth FIS of d is > contained in l iff > l is coFIS to (d)
or, more precisely: to the sequence 1, 2, 3, ..., max defined by (d). Yes, that is right.
Note: since max is not findable, we can state that for every findable part of d there is a line identical with that part. For the unfindable 1, 2, 3, ..., max defined by (d) there is the unfindable last line 1, 2, 3, ..., max defined by (l).