de Rham Integration Map Is a Cochain Map