("m" &lt; "n")が "b" の素イデアルの鎖であって各1 ≤ "i" ≤ "m" に対してformula_15がformula_16上にあるようなときにはいつでも後者の鎖が各1 ≤ "i" ≤ "n" に対してformula_15がformula_16の上にあるような鎖