prime_knot_conjecture