Conversely, applying the original theorem to R/I leads to this result.
逆に、元の定理を R/I に適用すればこの結果が導かれる。