Obviously, the theorem is true for finite sets. ✬

For the sake of completeness, let us mention that the ring R, considered as a module over itself, has submodules of arbitrarily large finite length. ✬