d, the diagonal is a potentially infinite sequence
for every n, the nth line of L is a potentially infinite sequence.
We get from induction, for every natural number n, the potentially infinite sequence d is not equal to the potentially infinite sequence given by the nth line.
We conclude, there does not exist a natural number m, such that the potentially infinite sequence d, is equal to the potentially infinite sequence given by the mth line.
d is a potentially infinite sequence each line of the list is a potentially infinite sequence
