习题 3, § 3

令$A$为型$A$的分级环（其中$A$无扭转），$M$为强拉斯克有限生成的分级$A$模（§ 2，习题28）。证明 § 2 的习题 4 中定义的子模 $Q(p) = Q(p, e_p(M))$（其中 $p$ 贯穿 $\operatorname{Ass}_f(M)$）的等级为子模。