コホモロジーは環になる