ポアンカレ予想
The conjecture, due to Christopher Zeeman, implies the Poincaré conjecture and the Andrews–Curtis conjecture.