As Koenig and Zhu showed, quotient of a triangulated category by a maximal
1-orthogonal subcategory becomes an abelian category. In this paper, we
generalize this result to a maximal $n$-orthogonal subcategory for an arbitrary
positive integer $n$.