■

書くことがないから書く日記というものが存在すると思います。これは提言であり、同時に存在証明でもあります。書くことがないから書く日記。

　中間です。暇な人は以下を試してみてください。

　Prove the fundamental theorem of Algebra, using Homology group.
Prove the fundamental theorem of Algebra, using Cohomology group.

Compute the cohomology group of torus with g holes.
Compute the cohomology group of the complex projective planes.

書けばこれだけで終わってしまう中間。