環における対応定理(部分環とイデアル)