In article <email@example.com>, firstname.lastname@example.org (Lee Rudolph) wrote:
> By putting together a number of non-trivial theorems that were > proved decades ago, it can be shown that the Poincare Conjecture > is equivalent to the claim that under these conditions, M actually > is "just the same as" (technically, "homeomorphic to") the usual > inside of S. >
Well, I think what you're trying to say is that there is a statement about homotopy 3-ball implies 3-ball and it is equivalent to normal version of PC. That doesn't require any hard theorems, just standard algebraic topology. I there may be a little mixup here (cf my response to your other post).