Prove the distributive law...(see attached)
This provides examples of abstract algebra proofs regarding distributive law, commutative rings, integral domains, and elements of rings.