Contractible Chain Complexes Are Acyclic