let r be a ring and i an ideal, let ~ be the relation x ~ y if x-y is in i. show that i is transitive. also show that if x ~ y then x+z ~ y+z