1. Единственность нулевого вектора
2. Единственность противоположного вектора
3. Существование и единственность разности элементов
4. Произведение нулевого элемента на действительное число есть нулевой элемент.
5. Отсутствие делителя нуля.
то или a = 0
6. Свойства противоположного элемента
1) =
2)
7. Дистрибутивность разности