rename proof in cohomology.ConstantFunction for consistency