Теорема: операция сложения векторов определена корректно
Теорема: векторы образуют коммутативную группу относительно сложения