したがって、"u" が少なくとも1つの(真の)極大部分加群を含めば、"uj"("r")は "u" の真の部分加群である。