  We show that the FI-homology of an FI-module can be computed via a Koszul
complex. As an application, we prove that the Castelnuovo-Mumford regularity of
a finitely generated torsion FI-module is equal to its degree.
