1: \begin{abstract}
2: We show that for any subgroup $\calH$ of $\Out(\FN)$, either $\calH$ contains an atoroidal element or a finite index subgroup $\calH'$ of $\calH$ fixes a nontrivial conjugacy class in $\FN$. This result is an analog of Ivanov's subgroup theorem for mapping class groups and Handel--Mosher's subgroup theorem for $\Out(\FN)$ in the setting of irreducible elements.
3: \end{abstract}
4: