# Reference for a theorem on crossing changes of links

I've recently stumbled upon a paper of Scharlemann on crossing changes:

In particular I am interested in understanding Theorem 2.2 (page 6):

"Theorem: If links A and B are related by a crossing change, and both are composite, then the crossing change takes place within a proper summand."

Where can I find a proof of this result? Also, is it possible to find an equivalent statement on diagrams?

Thanks

-

A crossing change is rational tangle replacement of distance 2. If you remove a regular neighborhood of the crossing you get a tangle $(B,t)$. Putting the crossing in one way produces a knot $k_1$ and putting it in the other way (with the crossing reversed) produces a knot $k_2$. The rational tangles are the intersections of $k_1$ and $k_2$ with the complement of $B$. Each of those rational tangles has a disc with boundary in the four-punctured sphere $\partial B - t$. The discs can be isotoped to intersect in two arcs, and so the distance between the rational tangles is 2 –  Scott Taylor Jun 16 '13 at 20:34
(continued) Assume that $k_1$ and $k_2$ are composite. By Theorem 1 from the Eudave-Munoz paper the tangle $(B,t)$ cannot be prime. By the definition of prime tangle either this means that a strand of $(B,t)$ has a local knot (in which case, you can show the crossing change occurs in a factor of $k_1$ and $k_2$) or the tangle $(B,t)$ is rational (in which case, $k_1$ and $k_2$ are 2-bridge and so can't be composite). –  Scott Taylor Jun 16 '13 at 20:39