体でない整域 "r" について、以下の条件は同値である。