I will outline the proof, give an example that illustrates the method, and if time permits, give a more detailed proof. This talk will be accessible to anyone familiar with the concepts of the fundamental group, free groups and free products. Essentially first year topology is enough, no more advanced algebra will be used.