in 2, suppose that is prime. the map defined by is a well-defined injective ring homomorphism and so we may assume that and is an integral domain. now let then for some and . we'll assume that is as small as possible. clearly thus which gives us , because is a domain and that contradicts the minimality of and we're done.