The theorem of the title is deduced from the equivalence between crossed complexes and cubical $\omega$-groupoids with connections proved by the authors in 1981. In fact we prove the equivalence of five categories defined internally to an additive category with kernels.
Homology, Homotopy and Applications, Vol. 5(2003), No. 2, pp. 49-52
Available as: dvi dvi.gz ps ps.gz pdf