Original: The Poincaré theorem (proven by Grigori Perelman)
Simplified: The Poincaré conjecture (proven by Grigori Perelman)