  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.
