In this article we present a new method for computing the theoretical autocovariance function of an autoregressive moving average model. The importance of our theorem is that it yields two interesting results: First, a closed-form solution is derived in terms of the roots of the autoregressive polynomial and the parameters of the moving average part. Second, a sufficient condition for the lack of model redundancy is obtained.