The manifold is obtained from by filling the -boundary along . The filling core represents in . The Turaev-torsion Dehn-filling formula therefore gives
Since a knot exterior has first Betti number one, its normalized Turaev torsion is
Substitution proves