Homotopy invariance of de Rham cohomology