完全列

\[
0 \rightarrow 1 \rightarrow 1\oplus 2  \rightarrow  2\oplus  3 \rightarrow 3\oplus 4  \rightarrow \cdots
\]
というやりかたで手軽にresolutionを作れる。