1.6.77 Fields, Groups, Rings

condition: Let \( A \) be a ring, \( I- \) its ideal generated by all elements \( a b-b a \). Prove that the quotient ring \( A / I \) is commutative, and \( I- \) is the smallest ideal having this property.