On 3/22/2013 4:43 AM, WM wrote: > On 22 Mrz., 08:30, William Hughes <wpihug...@gmail.com> wrote: > >> No your proof shows that *any* *one* line > > including all its predecessors > >> can be removed from the >> list. >> However, you are talking about removing more >> than one line, i,e. a *set* of lines. > > Singletons are subject to induction. > Take the union of all singletons that are subject to my proof. > If something remained, what could that be?
If you had actually proved something, you would be able to actually say what it is.