Let M be an A-module. If M has finite length, then M is artinian as an A-module.

Powered by Forestry.md