1.6.77 Поля, группы, кольца

условие: Пусть \( A \)-кольцо, \( I- \) его идеал, порожденный всеми элементами \( a b-b a \). Доказать, что факторкольцо \( A / I \) коммутативно, причем \( I- \) наименьший из идеалов, обладающий таким свойством.