cohomology: prove functoriality