IR bir halka olsun IR nin değişmeli olması için gerekli ve yeter şart r E R olmak üzere
IR [X] -> IR
p -> p(r)
biçimindeki tüm yerdeğiştirme dönüşúmlerinin homomorfizm olmasını gösteriniz