局所環 "r" の元 "x" について、以下のことはみな同値である: