1: \begin{abstract}

2: This paper is devoted to the proof of the orbifold theorem: If $\OO$ is a

3: compact connected orientable irreducible and topologically atoroidal

4: 3-orbifold with non-empty ramification locus, then $\OO$ is geometric

5: (i.e.\ has a metric of constant curvature or is Seifert fibred). As a

6: corollary, any smooth orientation preserving non-free finite group action

7: on $S^3$ is conjugate to an orthogonal action.

8: \end{abstract}

9: