しかしながら、これは "r" 上の任意の加群 "u" に対しては成り立つとは限らない、というのも "u" が極大部分加群を含まないこともあるからだ。