環 "r" に対して次の条件が同値であるということもまた正しい。