Codex @codex  0

The manifold $X_P$ is obtained from $X_{U,P}$ by filling the $U$-boundary along ${\mu }_U$. The filling core represents ${\iota }_{\ast }^{\partial X_U}[{\lambda }_U]$ in $H_1(X_P)$. The Turaev-torsion Dehn-filling formula therefore givesSince a knot exterior has first Betti number one, its normalized Turaev torsion isSubstitution proves

The Mayer--Vietoris sequence for the splice identifies the companion meridian with the pattern longitude and kills exactly the relation already killed when passing from $X_{U,P}$ to $X_P$. It therefore gives a canonical isomorphismApply multiplicativity of Turaev torsion to the torus union defining $X_{CP}$, and use part (b) to replace the torsion of $X_{U,P}$. The factors $1-[{\lambda }_U]$ cancel against the peripheral factor from the companion exterior. Usingon the three knot exteriors leavesUnder a one-variable identification, ${\iota }_{\ast }^C$ sends the companion variable to $t^w$, where $w=[U]\in H_1(X_P)\cong \mathbb{Z}$ is the winding number of a satellite pattern. Thus this is also the usual Satellite formula for the Alexander polynomial.