If I is an ideal in a ring R, let [R: I] = {r R|xr

If I is an ideal in a ring R, let [R: I] = {r ϵ R|xr ϵ I for every x ϵ R}. Prove that [R : I] is an ideal of R which contains I.