and of course I too omitted part of the whole proof. That proofs my point at how easy it is to not close up a proof !
Wouter, I understand the elegance of a formal proof. I also operate in the real world now, where time is money, and Simple is usually best.
Now what about Pi to 100! places....
