RE: [math-fun] Poincaré's Conjecture