On Oct 30, 5:36 am, WM <mueck...@rz.fh-augsburg.de> wrote:
<snip>
> Of course I believe that the triangle has as many lines as > columns. But if you would like to have d_oo represented in a > discernable manner, then you would need another line. >
Well we know that, even if d_oo only contains elements of N and is defined as (1,2,3,...)
forall i in N: d_oo =/= d_i
To my mind this means d_oo=(1,2,3...) is discernable. So what do you mean by "d_oo represented in a discernable manner"?