local complete intersection ring