Date: Mar 16, 2013 7:26 AM
Author: William Hughes
Subject: Re: Matheology § 224

On Mar 16, 10:30 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> On 15 Mrz., 23:27, William Hughes <wpihug...@gmail.com> wrote:
>

> > On Mar 15, 8:34 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > Let's first prove that already two cannot be necessary by the fact
> > > that two always can be replaced by one of them without changing the
> > > contents.

>
> > This is true but the fact that the two lines are
> > necessary has nothing to do with their contents.  Two lines
> > cannot be replaced by one of them without changing the number
> > of lines.

>
> Why should line-numbers be changed? Perhaps we are misunderstanding
> each other.



I said "number of lines" not "line-numbers".
If you replace two lines by one of them, you do
not change the contents, but you do change the number
of lines. Since the number of lines is important
and the contents are not, you cannot replace
two lines with one line.