ポアンカレ予想
If a knot formula_1 has Property P, then one cannot construct a counterexample to the Poincaré conjecture by surgery along formula_2.