1: \begin{definition}\cite[Theorem 1]{Lenzing97}

2: A connected Ext-finite abelian hereditary noetherian category $\AA$ with a tilting complex and no nonzero projectives is said to be a \emph{category of coherent sheaves $\coh \bX$ over a weighted projective line $\bX$}.

3: \end{definition}

4: