A triangle group has a presentation of the form,


$G=\langle a, b; a^{\alpha}, b^{\beta}, c^{\gamma}, abc\rangle, \alpha, \beta, \gamma \geq 2$


(I believe that these are also called von Dyke groups, or "ordinary" triangle groups, with triangle groups being something slightly different, but names are beside the point). I have been reading the Fine and Rosenberg paper which proves that these groups are conjugacy separable ("Conjugacy separability of Fuchsian groups and related questions"; the proof, and the statement below, can also be found in their book, "Algebraic generalizations of discrete groups"), and in it the authors state,


"The conjugacy classes of elements of finite order...are given by the conjugacy classes {$\langle a\rangle$}, {$\langle b\rangle$}, {$\langle c\rangle$}".


This statement is given without proof or reference. I was therefore wondering if someone could provide either a proof or a reference for this?


I understand where the comment comes from - it is the obvious generalisation of the one-relator groups case (here we are dealing with one-relator products, which generalise one-relator groups). However, I cannot seem to find a proof of the statement in the literature, although I am sure it must be there. Unless, of course, I am simply missing something and the result is obvious...



Torsion in triangle groups
According to the survey article [H. Zieschang, On Triangle Groups, Russian Mathematical Surveys (October 1976), 31 (5), pg. 226-233](http://iopscience.iop.org/0036-0279/31/5/R18), this fact is proved in the Russian paper,
[H. Zieschang, “Discrete groups of plane motions and plane group images”, Uspekhi Mat. Nauk, 21:3(129) (1966), 195–212](http://mi.mathnet.ru/eng/umn/v21/i3/p195). I've been unable to locate an English translation of the latter. However, Fine and Rosenberger discuss it in Chapter 4 of their book (see Theorem 4.3.2).


