On 2006-06-22 at 15:16BST "Brian Hulley" wrote:
> minh thu wrote:
> > y and yq are infinite...
>> But how does this change the fact that y still has 1 more element than yq?
> yq is after all, not a circular list.
infinity+1 = infinity
> I don't see why induction can't just be applied infinitely
> to prove this.
because (ordinary) induction won't go that far.
--
Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk