Как написали ранее - определили операцию "сложения" и доказали, что она удовлетворяет ряду аксиом абелевой группы: есть нейтральный элемент, есть обратный, есть коммутативность и есть ассоциативность. Ассоциативность оказалась самым сложным свойством - для ее доказательства потребовалось использовать
https://ru.m.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE...