加群の単射自己準同型についての定理に一般化できる。