命題
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
N を M の部分加群とすると、
|M| = |N||M/N| となる。

証明
明らか。