これらを使うと、"k" 上有限型なスキーム "x" の(例えば)モチヴィック・コホモロジーは