Let C be the class of A-modules of finite length. Then the length is 1;;an additive function on this class.

Powered by Forestry.md