Let R be a commutative unital ring, X a subshift, and A_R(X) the corresponding unital subshift algebra. We establish the reduction theorem for A_R(X). As a consequence, we obtain a Cuntz-Krieger uniqueness theorem for ...