佐藤超函数
ゆえ
H R 1 ( C , O ) = [ H 0 ( C + , O ) ⊕ H 0 ( C − , O ) ] / H 0 ( C , O ) {\displaystyle H_{\mathbb {R} }^{1}(\mathbb {C} ,{\mathcal {O}})=[H^{0}(\mathbb {C} ^{+},{\mathcal {O}})\oplus H^{0}(\mathbb {C} ^{-},{\mathcal {O}})]/H^{0}(\mathbb {C} ,{\mathcal {O}})}
と書き直すことができるが、任意の層について零次コホモロジー群は単にその層の大域切断の全体であるから、この定義によって与えられる佐藤超函数が、ガウス平面全域で正則な函数を加える違いを除いて、上半平面および下半平面それぞれのうえの正則函数のひと組として得られていることが確認できる。