1: \begin{abstract}

2: Let $A$ be an Artin group with standard generating set $\{\sigma_s : s\in S\}$. Tits 

3: conjectured that the only relations in $A$ amongst the squares of the generators are consequences of the obvious ones, namely that $\sig_s^2$ and $\sig_t^2$ commute whenever $\sig_s$ and $\sig_t$ commute, for $s,t\in S$. 

4: In this paper we prove Tits' conjecture for all Artin groups.

5: In fact, given a number $m_s\geq 2$ for each $s\in S$, we show that the elements $\{ T_s=\sig_s^{m_s} : s\in S\}$ generate a subgroup that has a finite presentation in which the only defining relations are that $T_s$ and $T_t$ commute if $\sig_s$ and $\sig_t$ commute.

6: \end{abstract}

7: