فرض کنید که $ \delta $ یک simplicial complex باشد. ثابت کنید که دنباله دقیق زیر وجود دارد.
$$ 0 \longrightarrow \widetilde{H_0} ( \delta ;A) \longrightarrow {H_0} ( \delta ;A) \longrightarrow A
\longrightarrow 0$$سپس، نشان دهید
$$ {H_0} ( \delta ;A) \simeq \widetilde{H_0} ( \delta ;A) \oplus A $$
