Следствия из аксиом.

1. Единственность нулевого вектора

2. Единственность противоположного вектора

3. Существование и единственность разности элементов

4. Произведение нулевого элемента на действительное число есть нулевой элемент.

5. Отсутствие делителя нуля.

то или a = 0

6. Свойства противоположного элемента

1) =

2)

7. Дистрибутивность разности