  Let $A$ be an $AH$ algebra, that is, $A$ is the inductive limit
$C^{*}$-algebra of
$$A_{1}\xrightarrow{\phi_{1,2}}A_{2}\xrightarrow{\phi_{2,3}}A_{3}\longrightarrow\cdots\longrightarrow
A_{n}\longrightarrow\cdots$$ with
$A_{n}=\bigoplus_{i=1}^{t_{n}}P_{n,i}M_{[n,i]}(C(X_{n,i}))P_{n,i}$, where
$X_{n,i}$ are compact metric spaces, $t_{n}$ and $[n,i]$ are positive integers,
and $P_{n,i}\in M_{[n,i]}(C(X_{n,i}))$ are projections. Suppose that $A$ has
the ideal property: each closed two-sided ideal of $A$ is generated by the
projections inside the ideal, as a closed two-sided ideal. Suppose that
$\sup_{n,i}dim(X_{n,i})<+\infty$. In this article, we prove that $A$ can be
written as the inductive limit of $$B_{1}\longrightarrow
B_{2}\longrightarrow\cdots\longrightarrow B_{n}\longrightarrow\cdots,$$ where
$B_{n}=\bigoplus_{i=1}^{s_{n}}Q_{n,i}M_{\{n,i\}}(C(Y_{n,i}))Q_{n,i}$, where
$Y_{n,i}$ are $\{pt\}$, $[0,1]$,$ S^{1}$,$ T_{II, k},$ $T_{III, k}$ and $S^{2}$
(all of them are connected simplicial complexes of dimension at most three),
$s_{n}$ and $\{n,i\}$ are positive integers and $Q_{n,i}\in
M_{\{n,i\}}(C(Y_{n,i}))$ are projections. This theorem unifies and generalizes
the reduction theorem for real rank zero $AH$ algebras due to Dadarlat and Gong
([D], [G3] and [DG]) and the reduction theorem for simple $AH$ algebras due to
Gong (see [G4]).
